From 44498017455cce207bf9cb0a1ebbf67c4a4d77cf Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Sat, 17 Nov 2012 04:05:17 +0000
Subject: * Fix for bug 445 agreed to in meeting 11/13/2012: always dump in
 ALL_SUPPORTED logic * Java bindings fixes: fixed access to ostreams,
 iterators * Make SmtEngine::setUserAttribute() (and others) take a const
 string& * Also a few compliance fixes

(this commit was certified error- and warning-free by the test-and-commit script.)
---
 src/expr/expr_manager.i | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/expr/expr_manager.i')

diff --git a/src/expr/expr_manager.i b/src/expr/expr_manager.i
index 0d82c7aa8..a386af5ee 100644
--- a/src/expr/expr_manager.i
+++ b/src/expr/expr_manager.i
@@ -15,6 +15,8 @@
   %ignore CVC4::ExprManager::mkExpr(Expr, const std::vector<Expr>&);
 #endif /* SWIGOCAML */
 
+%ignore CVC4::stats::getStatisticsRegistry(ExprManager*);
+
 %include "expr/expr_manager.h"
 
 %template(mkConst) CVC4::ExprManager::mkConst<CVC4::TypeConstant>;
-- 
cgit v1.2.3