fix for language bindings (fixes debian build fail last night)

diff --git a/src/util/statistics.i b/src/util/statistics.i
index 1f5cab2e15298223674337f8bd274ceaf9e8f674..7356b0ed5390898414a3bade52a95d71839612bd 100644 (file)
--- a/src/util/statistics.i
+++ b/src/util/statistics.i
@@ -1,12 +1,19 @@
 %{
 #include "util/statistics.h"
+
+#ifdef SWIGJAVA
+
 #include "bindings/java_iterator_adapter.h"
 #include "bindings/java_output_stream_adapter.h"
+
+#endif /* SWIGJAVA */
 %}
 
 %rename(assign) CVC4::Statistics::operator=(const StatisticsBase&);
 %rename(assign) CVC4::Statistics::operator=(const Statistics& stats);
 
+#ifdef SWIGJAVA
+
 %ignore CVC4::StatisticsBase::begin();
 %ignore CVC4::StatisticsBase::end();
 %ignore CVC4::StatisticsBase::begin() const;
@@ -47,8 +54,15 @@
       jenv->SetObjectArrayElement($result, 1, jenv->NewObject(jenv->FindClass("edu/nyu/acsys/CVC4/SExpr"), methodid, reinterpret_cast<long>(new CVC4::SExpr($1.second)), true));
     };
 
+#endif /* SWIGJAVA */
+
 %include "util/statistics.h"
+
+#ifdef SWIGJAVA
+
 %include "bindings/java_iterator_adapter.h"
 %include "bindings/java_output_stream_adapter.h"
 
 %template(JavaIteratorAdapter_StatisticsBase) CVC4::JavaIteratorAdapter<CVC4::StatisticsBase>;
+
+#endif /* SWIGJAVA */