From: Tim King <taking@cs.nyu.edu>
Date: Thu, 15 Nov 2012 02:02:47 +0000 (+0000)
Subject: Fixing comments in print_lambda.cvc.
X-Git-Tag: cvc5-1.0.0~7595
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=0cf2cf65658ce8128d0cc87d6a9714b5284d45c4;p=cvc5.git

Fixing comments in print_lambda.cvc.
---

diff --git a/test/regress/regress0/print_lambda.cvc b/test/regress/regress0/print_lambda.cvc
index dca97e167..da6a24c76 100644
--- 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;