Module: ppl/ppl Branch: master Commit: 16ac5d178e70c96c151c4e5fe367c9ea5e333ddb URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=16ac5d178e70c...

Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Mon Mar 30 13:15:23 2009 +0200

Added file.

---

interfaces/Java/jni/ppl_java_globals.cc | 1 + 1 files changed, 1 insertions(+), 0 deletions(-)

diff --git a/interfaces/Java/jni/ppl_java_globals.cc b/interfaces/Java/jni/ppl_java_globals.cc index 2da6a8c..97e2071 100644 --- a/interfaces/Java/jni/ppl_java_globals.cc +++ b/interfaces/Java/jni/ppl_java_globals.cc @@ -32,6 +32,7 @@ site: http://www.cs.unipr.it/ppl/ . */ #include "parma_polyhedra_library_Generator_System.h" #include "parma_polyhedra_library_Grid_Generator.h" #include "parma_polyhedra_library_Grid_Generator_System.h" +#include "parma_polyhedra_library_IO.h"

using namespace Parma_Polyhedra_Library; using namespace Parma_Polyhedra_Library::Interfaces::Java;