Improve syntax for fmf cardinality constraints (#7556)

[cvc5.git] / test / regress / regress0 / issue5550-num-children.smt2

diff --git a/test/regress/regress0/issue5550-num-children.smt2 b/test/regress/regress0/issue5550-num-children.smt2
index 75810699bae1e6181b8b1702b549225539d57100..62d078b32dbaf4e3703df29584bca5d799c24469 100644 (file)
--- a/test/regress/regress0/issue5550-num-children.smt2
+++ b/test/regress/regress0/issue5550-num-children.smt2
@@ -2,5 +2,5 @@
 (set-logic UFC)
 (declare-sort a 0)
 (declare-fun b () a)
-(assert (not (fmf.card b 1)))
-(check-sat)
\ No newline at end of file
+(assert (not (_ fmf.card a 1)))
+(check-sat)