projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c044611) | patch
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)
commitf93c0057cfca9610e40f9214b286174a041e422a
treece068160fa3e8648e081d366620f85305aac4920tree | snapshot
parentc044611b635cd32a0945accc0f050f6fefc3e66ccommit | diff
Replace internal use of str_formatter with local buffered formatter in
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.
src/auto/ata.ml diff | blob | history
Tree Automata TOOlkit