From 0cf2cf65658ce8128d0cc87d6a9714b5284d45c4 Mon Sep 17 00:00:00 2001
From: Tim King <taking@cs.nyu.edu>
Date: Thu, 15 Nov 2012 02:02:47 +0000
Subject: [PATCH] Fixing comments in print_lambda.cvc.

---
 test/regress/regress0/print_lambda.cvc | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

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;
-- 
2.30.2