NathanJPhillips
diff --git a/‎src/util/Makefile
-1 b/‎src/util/Makefile
-1
diff --git a/‎src/util/nondet_ifthenelse.cpp
-97 b/‎src/util/nondet_ifthenelse.cpp
-97
diff --git a/‎src/util/nondet_ifthenelse.h
-47 b/‎src/util/nondet_ifthenelse.h
-47
@@ -45,7 +45,6 @@ SRC = arith_tools.cpp \
       message.cpp \
       mp_arith.cpp \
       namespace.cpp \
-      nondet_ifthenelse.cpp \
       options.cpp \
       parse_options.cpp \
       parser.cpp \