projects / tatoo.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: f93c005)
Replace internal use of str_formatter with local buffered formatter in
authorKim Nguyễn <kn@lri.fr>
Mon, 4 Mar 2013 17:52:37 +0000 (18:52 +0100)
committerKim Nguyễn <kn@lri.fr>
Mon, 4 Mar 2013 18:02:02 +0000 (19:02 +0100)
Atom.print and Formula.print. Use of str_formatter in both was not re-entrant
and caused printing error when displaying a formula containing an Atom.


No differences found
Tree Automata TOOlkit