Fix bug in fileloc_compare which was causeing problem in constraint sorting.

[splint.git] / src / fileloc.c

diff --git a/src/fileloc.c b/src/fileloc.c
index 0701f9686441a5b8f75c65c3aeb19a41580bc0a7..a77c0705a54458a9d5c920c7b4f755ab302bcb6c 100644 (file)
--- a/src/fileloc.c
+++ b/src/fileloc.c
@@ -237,8 +237,13 @@ fileloc_compare (fileloc f1, fileloc f2)
   INTCOMPARERETURN (f1->fid, f2->fid); 
   /*@noaccess fileId@*/
 
-  INTCOMPARERETURN (f1->column, f2->column);
+
+  /* drl 8-11-01 fix what I think is a bug
+     line no should more important than column number*/
   INTCOMPARERETURN (f1->lineno, f2->lineno); 
+  
+  INTCOMPARERETURN (f1->column, f2->column);
+  
 
   return 0;
 }