X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/ae13359213220016611ceaf93109dac6849be88b..6317f163d6dd13ef058d98c91a6f9eb29a9f87f4:/src/constraintList.c

diff --git a/src/constraintList.c b/src/constraintList.c
index c834ec6..ea27121 100644
--- a/src/constraintList.c
+++ b/src/constraintList.c
@@ -635,39 +635,6 @@ void constraintList_dump (/*@observer@*/ constraintList c,  FILE *f)
   end_constraintList_elements; ;
 }
 
-//! don't use this!
-void constraintList_castConstraints (constraintList c, ctype tfrom, ctype tto)
-{
-  if (TRUE) /* flag to allow casting */ 
-    {
-      int fsize = ctype_getSize (tfrom);
-      int tsize = ctype_getSize (tto);
-
-      DPRINTF (("Sizes: [%s] [%s] %d / %d", ctype_unparse (tfrom),
-		ctype_unparse (tto), fsize, tsize));
-
-      if (fsize == tsize) 
-	{
-	  return; /* Sizes match, no change to constraints */
-	}
-      else 
-	{
-	  float scale = fsize / tsize;
-	  
-	  DPRINTF (("Scaling constraints by: %f", scale));
-
-	  constraintList_elements (c, el)
-	    {
-	      DPRINTF (("Scale: %s", constraint_unparse (el)));
-	      // constraint_scaleSize (el, scale);
-	      DPRINTF (("   ==> %s", constraint_unparse (el)));
-	    }
-	  end_constraintList_elements; 
-	}
-    }
-}
-
-
 constraintList constraintList_sort (/*@returned@*/ constraintList ret)
 {
   if (constraintList_isUndefined(ret) )