From 653ab9e0df20e52a97fdb707e144a0581e9aca1d Mon Sep 17 00:00:00 2001
From: Dmitry Boulytchev <dboulytchev@gmail.com>
Date: Thu, 8 Mar 2018 01:00:01 +0300
Subject: [PATCH] Sync

---
 src/X86.ml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/X86.ml b/src/X86.ml
index 254c7c3bd..c3376e2d1 100644
--- a/src/X86.ml
+++ b/src/X86.ml
@@ -103,9 +103,12 @@ let compile env code =
           | WRITE ->
              let s, env' = env#pop in
              (env', [Push s; Call "Lwrite"; Pop eax])
-  	  | CONST n ->	      
+  	  | CONST n ->
+             env#push (L n), []
+             (*
 	     let s, env' = env#allocate in
 	     (env', [Mov (L n, s)])  
+              *)
 	  | LD x ->
 	     let s, env' = (env#global x)#allocate in
              env',