diff --git a/src/SM.ml b/src/SM.ml
index f5df49412..5bc14e6a0 100644
--- a/src/SM.ml
+++ b/src/SM.ml
@@ -28,11 +28,11 @@ let eval _ = failwith "Not yet implemented"
 
 (* Top-level evaluation
 
-     val run : int list -> prg -> int list
+     val run : prg -> int list -> int list
 
-   Takes an input stream, a program, and returns an output stream this program calculates
+   Takes a program, an input stream, and returns an output stream this program calculates
 *)
-let run i p = let (_, (_, _, o)) = eval ([], (Language.Expr.empty, i, [])) p in o
+let run p i = let (_, (_, _, o)) = eval ([], (Language.Expr.empty, i, [])) p in o
 
 (* Stack machine compiler