# HG changeset patch
# User Atul Varma <varmaa@toolness.com>
# Date 1210980627 25200
# Node ID 7bba1e9f167d7ee8b3300c79fefa1ba59e6853c6
# Parent  605a0060e5a74d0c253686e06aa156a295eef8ed
Fixed a typo in the original gnusto code.

diff -r 605a0060e5a7 -r 7bba1e9f167d gnusto-engine.js
--- a/gnusto-engine.js	Fri May 16 15:53:14 2008 -0700
+++ b/gnusto-engine.js	Fri May 16 16:30:27 2008 -0700
@@ -665,7 +665,7 @@
     return 'm_gamestack.push('+a[0]+')';
   }
 function handleZ_pull(engine, a) {
-    engine.logger('pull',c +'=gamestack.pop()');
+    engine.logger('pull',a[0] +'=gamestack.pop()');
     return '_varcode_set(m_gamestack.pop(),'+a[0]+')';
   }
 
diff -r 605a0060e5a7 -r 7bba1e9f167d gnusto-engine.min.js
--- a/gnusto-engine.min.js	Fri May 16 15:53:14 2008 -0700
+++ b/gnusto-engine.min.js	Fri May 16 16:30:27 2008 -0700
@@ -84,7 +84,7 @@
 function handleZ_print_num(engine,a){engine.logger('print_num','handler_zout('+a[0]+')');return engine._handler_zOut(a[0],0);}
 function handleZ_random(engine,a){engine.logger('random',"random_number("+a[0]+")");return engine._storer("_random_number("+a[0]+")");}
 function handleZ_push(engine,a){engine.logger('push',a[0]);return'm_gamestack.push('+a[0]+')';}
-function handleZ_pull(engine,a){engine.logger('pull',c+'=gamestack.pop()');return'_varcode_set(m_gamestack.pop(),'+a[0]+')';}
+function handleZ_pull(engine,a){engine.logger('pull',a[0]+'=gamestack.pop()');return'_varcode_set(m_gamestack.pop(),'+a[0]+')';}
 function handleZ_split_window(engine,a){engine.m_compilation_running=0;engine.logger('split_window','lines='+a[0]);return"m_pc="+engine.m_pc+";m_effects=["+GNUSTO_EFFECT_SPLITWINDOW+","+a[0]+"];return";}
 function handleZ_set_window(engine,a){engine.m_compilation_running=0;engine.logger('set_window','win='+a[0]);return"m_pc="+engine.m_pc+";m_effects=["+GNUSTO_EFFECT_SETWINDOW+","+a[0]+"];return";}
 function handleZ_erase_window(engine,a){engine.m_compilation_running=0;engine.logger('erase_window','win='+a[0]);return"m_pc="+engine.m_pc+";m_effects=["+GNUSTO_EFFECT_ERASEWINDOW+","+a[0]+"];return";}