blob: 2e7efd1c4666e222ef34d5501ecc8f1e4810b26c (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
diff -uwr buddy-2.4.orig/examples/bddcalc/parser.yxx buddy-2.4/examples/bddcalc/parser.yxx
--- buddy-2.4.orig/examples/bddcalc/parser.yxx 2009-07-02 17:12:48.000000000 +0200
+++ buddy-2.4/examples/bddcalc/parser.yxx 2009-07-02 17:18:36.000000000 +0200
@@ -7,6 +7,7 @@
%{
#include <string>
+#include <cstdlib>
#include <stdarg.h>
#include <fstream>
#include <getopt.h>
diff -uwr buddy-2.4.orig/src/bddtest.cxx buddy-2.4/src/bddtest.cxx
--- buddy-2.4.orig/src/bddtest.cxx 2009-07-02 17:12:48.000000000 +0200
+++ buddy-2.4/src/bddtest.cxx 2009-07-02 17:14:05.000000000 +0200
@@ -28,6 +28,7 @@
========================================================================*/
#include <string>
+#include <cstdlib>
#include "bdd.h"
#include "bvec.h"
|