From 426b8722e6e32f7fab46769e4d71184bf510fd0e Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Wed, 16 Dec 2009 23:30:21 +0000
Subject: + refactoring fixes for expr package based on code review (see bug
 #4) + minor autogen/configure fixes for old versions of autotools

---
 config/cvc4.m4 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'config')

diff --git a/config/cvc4.m4 b/config/cvc4.m4
index eea9478c6..1926fa54a 100644
--- a/config/cvc4.m4
+++ b/config/cvc4.m4
@@ -25,6 +25,6 @@ do
 done
 eval set x $ac_cvc4_rewritten_args
 shift
-echo "args are now:" "${@}"
+dnl echo "args are now:" "${@}"
 m4_divert_pop([PARSE_ARGS])dnl
 ])# CVC4_REWRITE_ARGS_FOR_BUILD_PROFILE
-- 
cgit v1.2.3