diff options
| author | Enrico Tassi | 2015-03-11 16:29:19 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2015-03-11 16:29:19 +0100 |
| commit | 8dbfee5c5f897af8186cb1bdfb04fd4f88eca677 (patch) | |
| tree | 7e3ada4ac5d03ce88a4bc63613f232c1ac0f2191 /stm/spawned.ml | |
| parent | 3cdc453f51a574f43bc0481e8a0934ad3ea44b70 (diff) | |
Fix double print in decl_mode.
After executing a command classified as VtProofStep the stm
prints the goals (if used via the tty API).
Diffstat (limited to 'stm/spawned.ml')
0 files changed, 0 insertions, 0 deletions