diff -r 992aac9c9541 -r 47f62d789fe7 src/work/marci/dimacs.h
--- a/src/work/marci/dimacs.h	Fri Mar 19 07:59:52 2004 +0000
+++ b/src/work/marci/dimacs.h	Fri Mar 19 09:09:20 2004 +0000
@@ -25,9 +25,6 @@
       case 'c': //comment
 	getline(is, str);
 	break;
-//       case 't': //type
-// 	getline(is, str);
-// 	break;
       case 'p': //problem definition
 	is >> problem >> n >> m;
 	getline(is, str);