diff --git a/src/Driver.ml b/src/Driver.ml
index 67dd012d7..643762517 100644
--- a/src/Driver.ml
+++ b/src/Driver.ml
@@ -14,7 +14,7 @@ let parse infile =
        ] s
      end
     )
-    (ostap (!(Language.parse) -EOF))
+    (ostap (!(Language.Stmt.parse) -EOF))
 
 let main =
   try
diff --git a/src/SM.ml b/src/SM.ml
index dac11c9de..f5df49412 100644
--- a/src/SM.ml
+++ b/src/SM.ml
@@ -32,7 +32,7 @@ let eval _ = failwith "Not yet implemented"
 
    Takes an input stream, a program, and returns an output stream this program calculates
 *)
-let run i p = let (_, (_, _, o)) = eval ([], (Syntax.Expr.empty, i, [])) p in o
+let run i p = let (_, (_, _, o)) = eval ([], (Language.Expr.empty, i, [])) p in o
 
 (* Stack machine compiler
 
@@ -42,5 +42,3 @@ let run i p = let (_, (_, _, o)) = eval ([], (Syntax.Expr.empty, i, [])) p in o
    stack machine
  *)
 let compile _ = failwith "Not yet implemented"
-
-