diff options
Diffstat (limited to 'backend/PrintLTL.ml')
-rw-r--r-- | backend/PrintLTL.ml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/backend/PrintLTL.ml b/backend/PrintLTL.ml index 0f78bc58..a0a08218 100644 --- a/backend/PrintLTL.ml +++ b/backend/PrintLTL.ml @@ -17,8 +17,7 @@ open Camlcoq open Datatypes open Maps open AST -open Integers -open Locations +open !Locations open LTL open PrintAST open PrintOp |