diff options
Diffstat (limited to '')
| -rw-r--r-- | devel/dprog/files/patch-functions.cc | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/devel/dprog/files/patch-functions.cc b/devel/dprog/files/patch-functions.cc new file mode 100644 index 000000000000..3eacca338bba --- /dev/null +++ b/devel/dprog/files/patch-functions.cc @@ -0,0 +1,10 @@ +--- 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. |