comment out debug output

igorw · igorw · commit 8fba98577281 · 2013-12-22T21:11:16.000+01:00
diff --git a/src/krivine.php b/src/krivine.php
@@ -119,10 +119,10 @@ function execute()
 
     function step()
     {
-        echo 'code: '.json_encode($this->code)."\n";
-        echo 'env: '.json_encode($this->env)."\n";
-        echo 'stack: '.json_encode($this->stack)."\n";
-        echo "---\n";
+        // echo 'code: '.json_encode($this->code)."\n";
+        // echo 'env: '.json_encode($this->env)."\n";
+        // echo 'stack: '.json_encode($this->stack)."\n";
+        // echo "---\n";
 
         $inst = first(first($this->code));
         $inst_arg = rest(first($this->code));
