From e60dcce49792d8dd99d45712e53b8a8e0a699514 Mon Sep 17 00:00:00 2001
From: drl7x <drl7x>
Date: Sat, 11 Aug 2001 16:42:03 +0000
Subject: [PATCH] *** empty log message ***

---
 src/Headers/constraint.h         | 5 ++++-
 src/Headers/herald.last          | 2 +-
 src/Headers/local_constants.last | 4 ++--
 3 files changed, 7 insertions(+), 4 deletions(-)

diff --git a/src/Headers/constraint.h b/src/Headers/constraint.h
index 7b0b8ac..2d67fb3 100644
--- a/src/Headers/constraint.h
+++ b/src/Headers/constraint.h
@@ -116,6 +116,9 @@ extern bool constraint_same (constraint p_c1, constraint p_c2) ;
 
 /*@only@*/ cstring  constraint_printOr (constraint p_c) /*@*/;
 extern void constraint_printErrorPostCondition (constraint p_c, fileloc p_loc) ;
+
+extern cstring constraint_printLocation (/*@observer@*/ /*@temp@*/ constraint p_c) /*@*/; /*drl add 8-11-001*/
+
 extern constraint constraint_setFcnPre (/*@returned@*/ constraint p_c) ;
 extern constraint constraint_origAddGeneratingExpr (/*@returned@*/ constraint p_c, /*@dependent@*/ /*@observer@*/ exprNode p_e) ;
 
@@ -134,7 +137,7 @@ void constraint_dump (/*@observer@*/ constraint p_c,  FILE * p_f);
 
 extern void exprNode_forLoopHeuristics( /*@dependent@*/ exprNode p_e, /*@dependent@*/ exprNode p_forPred, /*@dependent@*/ exprNode p_forBody);
 
-int constraint_compare (/*@observer@*/ /*@temp@*/ constraint * p_c1, /*@observer@*/ /*@temp@*/ constraint * p_c2) /*@*/;
+int constraint_compare (/*@observer@*/ /*@temp@*/ const constraint * p_c1, /*@observer@*/ /*@temp@*/ const constraint * p_c2) /*@*/;
 
 bool constraint_isPost  (/*@observer@*/ /*@temp@*/ constraint p_c);
 
diff --git a/src/Headers/herald.last b/src/Headers/herald.last
index 36662b4..c4f465a 100644
--- a/src/Headers/herald.last
+++ b/src/Headers/herald.last
@@ -4,4 +4,4 @@
 /*@constant observer char *LCL_PARSE_VERSION;@*/
 # define LCL_PARSE_VERSION "LCLint 3.0.0.9"
 /*@constant observer char *LCL_COMPILE;@*/
-# define LCL_COMPILE "Compiled using gcc -Wall -g on Linux paisley 2.4.3-12 #1 Fri Jun 8 13:35:30 EDT 2001 i686 unknown by evans"
+# define LCL_COMPILE "Compiled using gcc -DSTDC_HEADERS=1 -g on Linux paisley 2.4.3-12 #1 Fri Jun 8 13:35:30 EDT 2001 i686 unknown by drl7x"
diff --git a/src/Headers/local_constants.last b/src/Headers/local_constants.last
index c4c3a88..73e13fc 100644
--- a/src/Headers/local_constants.last
+++ b/src/Headers/local_constants.last
@@ -2,6 +2,6 @@
 /*@constant observer char *SYSTEM_LIBDIR;@*/
 # define SYSTEM_LIBDIR "/usr/include"
 /*@constant observer char *DEFAULT_LARCHPATH;@*/
-# define DEFAULT_LARCHPATH "/usr/local/lclint-2.5m/lib"
+# define DEFAULT_LARCHPATH ".:/af9/drl7x/re3/LCLintDev/lib"
 /*@constant observer char *DEFAULT_LCLIMPORTDIR;@*/
-# define DEFAULT_LCLIMPORTDIR "/usr/local/lclint-2.5m/imports"
+# define DEFAULT_LCLIMPORTDIR "/af9/drl7x/re3/LCLintDev/imports"
-- 
2.45.2