From 0fca69965786db7deee2e976551b5156531e8ed5 Mon Sep 17 00:00:00 2001
From: ericmarin <maarin.eric@gmail.com>
Date: Tue, 17 Mar 2026 18:59:35 +0100
Subject: added proof for ONNX translation

---
 nneq/nneq.py | 1 -
 1 file changed, 1 deletion(-)

(limited to 'nneq')

diff --git a/nneq/nneq.py b/nneq/nneq.py
index d9d7d30..4f46cbf 100644
--- a/nneq/nneq.py
+++ b/nneq/nneq.py
@@ -135,7 +135,6 @@ def inpla_export(model: onnx.ModelProto) -> inpla_str:
     return "\n".join(input_script + list(reversed(node_script)) + result_lines)
 
 def inpla_run(model: inpla_str) -> z3_str:
-    print(model)
     return subprocess.run(["./inpla"], input=f"{rules}\n{model}", capture_output=True, text=True).stdout
 
 syms = {}
-- 
cgit v1.2.3