Fix binding sig

toledorafael · Feb 8, 2016 · 04dc029 · 04dc029
1 parent 0e423b9
commit 04dc029
Show file tree

Hide file tree

Showing 4 changed files with 3 additions and 3 deletions.
diff --git a/compiled/z3.emscripten.js.mem b/compiled/z3.emscripten.js.mem
diff --git a/compiled/z3_bindings_em.js b/compiled/z3_bindings_em.js
@@ -669,7 +669,7 @@ for (let method in GeneratedBindings) {
 
 Z3.bindings_model_eval = function(ctx, mdl, expr) {
 	var pAST = Module._malloc(8);
-    var result = Z3.Z3_model_eval(ctx, mdl, expr.ast, true, pAST);
+    var result = Z3.Z3_model_eval(ctx, mdl, expr, true, pAST);
     var eAST = Module.getValue(pAST, '*');
     Module._free(pAST);
     return result == Z3.TRUE ? eAST : null;

diff --git a/compiled/z3_bindings_em_es5.js b/compiled/z3_bindings_em_es5.js
@@ -677,7 +677,7 @@ for (var method in GeneratedBindings) {
 
 Z3.bindings_model_eval = function (ctx, mdl, expr) {
   var pAST = _z3Emscripten2.default._malloc(8);
-  var result = Z3.Z3_model_eval(ctx, mdl, expr.ast, true, pAST);
+  var result = Z3.Z3_model_eval(ctx, mdl, expr, true, pAST);
   var eAST = _z3Emscripten2.default.getValue(pAST, '*');
   _z3Emscripten2.default._free(pAST);
   return result == Z3.TRUE ? eAST : null;

diff --git a/templates/post_em_bindings.js b/templates/post_em_bindings.js
@@ -6,7 +6,7 @@ for (let method in GeneratedBindings) {
 
 Z3.bindings_model_eval = function(ctx, mdl, expr) {
 	var pAST = Module._malloc(8);
-    var result = Z3.Z3_model_eval(ctx, mdl, expr.ast, true, pAST);
+    var result = Z3.Z3_model_eval(ctx, mdl, expr, true, pAST);
     var eAST = Module.getValue(pAST, '*');
     Module._free(pAST);
     return result == Z3.TRUE ? eAST : null;