**/
#include "expr/expr.h"
+#include <iostream>
#include <iterator>
#include <utility>
#include <vector>
// compiler directs the user to the template file instead of the
// generated one. We don't want the user to modify the generated one,
// since it'll get overwritten on a later build.
-#line 35 "${template}"
+#line 36 "${template}"
using namespace CVC4::kind;
using namespace std;
lineno=${BASH_LINENO[0]}
check_theory_seen
- includes="${includes}
+ # Only add include if it is not in the list of includes yet
+ if [[ "${includes}" != *"#include \"$4\""* ]]; then
+ includes="${includes}
#include \"$4\""
+ fi
+
mkConst_instantiations="${mkConst_instantiations}
#line $lineno \"$kf\"
template <> Expr ExprManager::mkConst($2 const& val);