projects
/
tatoo.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Found two bugs by rewriting the compilation in the thesis.
[tatoo.git]
/
src
/
asta.ml
diff --git
a/src/asta.ml
b/src/asta.ml
index
dc7b88d
..
56bb8da
100644
(file)
--- a/
src/asta.ml
+++ b/
src/asta.ml
@@
-122,7
+122,7
@@
let print fmt asta =
StateSet.print asta.selec;
pp "@[<v 0># Bottom states: %a@ @]"
StateSet.print asta.bottom;
- pp "@[<v 0># To
m
states: %a@ @]"
+ pp "@[<v 0># To
p
states: %a@ @]"
StateSet.print asta.top;
let print_list_tr fmt z=
if SetT.is_empty z