Changeset 075bc5 in git for misc/lt2.cc

Timestamp:

Oct 24, 2018, 2:56:54 PM (6 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

141c69129ce626a1c7c898edb6ab66c0632a1759

Parents:

99d02931f1b01b2ae7d88ca405c300918c8c6919

Message:

format

File:

• misc/lt2.cc (modified) (1 diff)

misc/lt2.cc

@@ -32 +32 @@
       }
     }
-    return FALSE; /* not found */  
+    return FALSE; /* not found */
   }
   WerrorS("same_lt(ideal)");