More intuitive

cvc5 · Nov 1, 2024 · d569f73 · d569f73
1 parent 61511b8
commit d569f73
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/simul-overload.eo b/tests/simul-overload.eo
@@ -15,5 +15,5 @@
 (declare-const a Int)
 (declare-const b Int)
 
-(step @p99 :rule refl :args ((forall ((a Int) (b Int)))))
+(step @p99 :rule refl :args ((forall ((a Int) (b Int)) true)))
 (step @p106 :rule refl :args (a))