alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

typo

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2003-05-27 13:06:58 +00:00
parent fb5ff901d0
commit 236a26ad66
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
ChangeLog
View file

@ -117,9 +117,9 @@
* src/ltltest/readltl.cc, src/ltltest/equals.cc, * src/ltltest/readltl.cc, src/ltltest/equals.cc,
src/ltltest/tostring.cc: Adjust usage. src/ltltest/tostring.cc: Adjust usage.
Check trivial multop equality at build time. The makes the Check trivial multop equality at build time. This makes the equal
equal visitor useless, since two equals formulae will now visitor useless, since two equals formulae will now share the same
share the same address. address.
* src/ltlast/multop.hh (add_sorted): New function. * src/ltlast/multop.hh (add_sorted): New function.
(paircmp): New comparison functor. (paircmp): New comparison functor.