X-Git-Url: http://git.kpe.io/?a=blobdiff_plain;f=tools%2FDisplay%2FchooseRanges.hpp;fp=tools%2FDisplay%2FchooseRanges.hpp;h=6b80b0e8fe9d609982757d10893b3da52aa513db;hb=008ec13cd73c8e9e7d1a596c24b85a8e5ed3f126;hp=c7439aa4a31efee71dd19bd68264a0da701d0599;hpb=e08781393afc0bd73e7335a36003b39ccc11122f;p=snark14.git diff --git a/tools/Display/chooseRanges.hpp b/tools/Display/chooseRanges.hpp old mode 100755 new mode 100644 index c7439aa..6b80b0e --- a/tools/Display/chooseRanges.hpp +++ b/tools/Display/chooseRanges.hpp @@ -24,7 +24,7 @@ #include #include #include -#include +#include #include #include #include