Fixing comments in print_lambda.cvc.

diff --git a/test/regress/regress0/print_lambda.cvc b/test/regress/regress0/print_lambda.cvc
index dca97e167ebf7fcf631dcd923744ac55aa54d890..da6a24c7683db8dd53fc79850f804acdb52d570f 100644 (file)
--- a/test/regress/regress0/print_lambda.cvc
+++ b/test/regress/regress0/print_lambda.cvc
@@ -1,7 +1,7 @@
-; COMMAND-LINE: --produce-models
-; EXPECT: sat
-; EXPECT: f : (INT) -> INT = (LAMBDA(_ufmt_1:INT): 0);
-; EXIT: 10
+% COMMAND-LINE: --produce-models
+% EXPECT: sat
+% EXPECT: f : (INT) -> INT = (LAMBDA(_ufmt_1:INT): 0);
+% EXIT: 10
 
 f : INT -> INT;
 ASSERT f(1) = 0;