small ch
Thu Dec 7 13:15:07 PST 2006 kilian.sprotte@gmail.com
* small ch
diff -rN -u old-gecol/gecol.asd new-gecol/gecol.asd
--- old-gecol/gecol.asd 2014-07-25 12:58:01.000000000 -0700
+++ new-gecol/gecol.asd 2014-07-25 12:58:01.000000000 -0700
@@ -46,6 +46,7 @@
())
(defmethod source-file-type ((c gecode-source-file) s)
+ (declare (ignore s))
"cpp")
(defmethod output-files ((o compile-op) (c gecode-source-file))