remove CPP_SYSTEMC_EXTENSION

kroening · kroening · commit 7228c2811dc6 · 2012-02-06T12:28:09.000Z
git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@965 6afb6bc1-c8e4-404c-8f48-9ae832c5b171
diff --git a/src/cpp/Makefile b/src/cpp/Makefile
@@ -29,8 +29,6 @@ CLEANFILES = cpp$(LIBEXT) lex.yy.cpp y.tab.cpp.output
 
 all: cpp$(LIBEXT)
 
-CP_CXXFLAGS += -D CPP_SYSTEMC_EXTENSION
-
 ###############################################################################
 
 cpp$(LIBEXT): $(OBJ)
