diff options
Diffstat (limited to 'devel/dprog/files/patch-functions.cc')
| -rw-r--r-- | devel/dprog/files/patch-functions.cc | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/devel/dprog/files/patch-functions.cc b/devel/dprog/files/patch-functions.cc deleted file mode 100644 index 3eacca338bba..000000000000 --- a/devel/dprog/files/patch-functions.cc +++ /dev/null @@ -1,10 +0,0 @@ ---- functions.cc.orig Tue Dec 30 17:42:16 2003 -+++ functions.cc Tue Dec 30 17:42:25 2003 -@@ -1,6 +1,7 @@ - - #include "functions.hh" - #include <map> -+#include <cassert> - using namespace std; - - // FIXME: this stuff should be read from some configuration file. |