From ea4753556ea1ebfbf9d6cb14c8e284e555566506 Mon Sep 17 00:00:00 2001
From: Dmitry Boulytchev <dboulytchev@gmail.com>
Date: Mon, 3 Dec 2018 14:20:47 +0300
Subject: [PATCH] Sync

---
 src/Driver.ml | 2 +-
 src/X86.ml    | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/Driver.ml b/src/Driver.ml
index 04bb8fe88..2239a6693 100644
--- a/src/Driver.ml
+++ b/src/Driver.ml
@@ -4,7 +4,7 @@ let parse infile =
   let s = Util.read infile in
   Util.parse
     (object
-       inherit Matcher.stream s
+       inherit Matcher.t s
        inherit Util.Lexers.decimal s
        inherit Util.Lexers.string s
        inherit Util.Lexers.char   s
diff --git a/src/X86.ml b/src/X86.ml
index 354efa0c6..0dbf39b3e 100644
--- a/src/X86.ml
+++ b/src/X86.ml
@@ -103,7 +103,7 @@ open SM
    of x86 instructions
 *)
 let compile env code =
-  SM.print_prg code;
+  (*SM.print_prg code;*)
   flush stdout;
   let suffix = function
   | "<"  -> "l"