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

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