X-Git-Url: https://git.wh0rd.org/?a=blobdiff_plain;f=not-unused%2Freduce-ice;h=be303f009930fa61335d3bff0bac256ae4ca6828;hb=dbff64cb4b7530861c2309c794efdd4e0cf47a23;hp=fdd7a10eefcb25a7c77552c74bc15b06bc43e84a;hpb=45516216fc552c838e650d868214d867027a64f6;p=ICEs.git

diff --git a/not-unused/reduce-ice b/not-unused/reduce-ice
index fdd7a10..be303f0 100755
--- a/not-unused/reduce-ice
+++ b/not-unused/reduce-ice
@@ -3,7 +3,7 @@
 # Run like:
 #  multidelta -level=# ./reduce-ice $FILE
 #  levels: 0 0 1 1 2 2 10 10
-#  
+#
 
 FILE=des.i
 CC=gcc