NathanJPhillips
diff --git a/‎src/util/Makefile
-1 b/‎src/util/Makefile
-1
diff --git a/‎src/util/pipe_stream.cpp
-372 b/‎src/util/pipe_stream.cpp
-372
@@ -49,7 +49,6 @@ SRC = arith_tools.cpp \
       options.cpp \
       parse_options.cpp \
       parser.cpp \
-      pipe_stream.cpp \
       pointer_offset_size.cpp \
       pointer_predicates.cpp \
       rational.cpp \