diff options
Diffstat (limited to 'src/lia')
| -rw-r--r-- | src/lia/lia.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/lia/lia.ml b/src/lia/lia.ml index 589d59a..e5f2fe9 100644 --- a/src/lia/lia.ml +++ b/src/lia/lia.ml @@ -160,6 +160,7 @@ let rec smt_Form_to_coq_micromega_formula tbl l = failwith "Lia.smt_Form_to_coq_micromega_formula: wrong number of arguments for Fnot2" else smt_Form_to_coq_micromega_formula tbl l.(0) + | Fapp (Fforall _, _) -> assert false in if Form.is_pos l then v else N(v) |