From a133fe9ca9ac134649cf521a844b14936e977f20 Mon Sep 17 00:00:00 2001
From: Dmitry Boulytchev <dboulytchev@gmail.com>
Date: Wed, 21 Feb 2018 19:49:18 +0300
Subject: [PATCH] Added CONST instruction

---
 src/SM.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/SM.ml b/src/SM.ml
index 230ec974a..1c7f792b5 100644
--- a/src/SM.ml
+++ b/src/SM.ml
@@ -3,6 +3,7 @@ open GT
 (* The type for the stack machine instructions *)
 @type insn =
 (* binary operator                 *) | BINOP of string
+(* put a constant on the stack     *) | CONST of int                 
 (* read to stack                   *) | READ
 (* write from stack                *) | WRITE
 (* load a variable to the stack    *) | LD    of string