diff options
Diffstat (limited to 'src/zchaff/zchaffParser.ml')
-rw-r--r-- | src/zchaff/zchaffParser.ml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/zchaff/zchaffParser.ml b/src/zchaff/zchaffParser.ml index c4a2f62..e3db7b6 100644 --- a/src/zchaff/zchaffParser.ml +++ b/src/zchaff/zchaffParser.ml @@ -11,7 +11,6 @@ open SatParser -open SmtForm open SmtCertif open SmtTrace @@ -58,7 +57,7 @@ let parse_CL reloc lb last = (* Parsing of the VAR and CONF part *) -let var_of_lit l = l lsr 1 +(* let var_of_lit l = l lsr 1 *) type var_key = | Var of int |