update test

SRI-CSL · Jun 14, 2024 · c5994af · c5994af
1 parent 8b793b6
commit c5994af
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/tests/regress/mcsat/uf/ufnra_07.smt2 b/tests/regress/mcsat/uf/ufnra_07.smt2
@@ -13,5 +13,4 @@
 (assert (not (not (= (x3 x6) 0.0))))
 (assert (not (= x2 x1)))
 (check-sat)
-(get-model)
 (exit)