diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2021-10-22 18:04:15 +0100 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2021-10-22 18:19:08 +0100 |
| commit | 49a8889b02a25b46aa52252fb96ec489800582c0 (patch) | |
| tree | 117d80ba53f28342fdfbce3f58fa20f5e3177803 /tests | |
| parent | 5da7a4caf34346014fbd496187ed8ee8e4915b1d (diff) | |
| download | RSAComb-49a8889b02a25b46aa52252fb96ec489800582c0.tar.gz RSAComb-49a8889b02a25b46aa52252fb96ec489800582c0.zip | |
Fix verbose printing of canonical model facts
Printing a fact does not add a dot at the end on the line.
Diffstat (limited to 'tests')
0 files changed, 0 insertions, 0 deletions