Fixing stupid bug (that was disabling code generation).
authorMario de Sousa <msousa@fe.up.pt>
Mon, 04 Apr 2011 11:19:48 +0100
changeset 269 98fc461e1888
parent 268 1eba01e3fb70
child 270 f1674941c3ad
child 274 8d36d1f81170
Fixing stupid bug (that was disabling code generation).
lib/create_standard_function_header.sh
lib/standard_functions.txt
--- a/lib/create_standard_function_header.sh	Mon Apr 04 10:48:30 2011 +0100
+++ b/lib/create_standard_function_header.sh	Mon Apr 04 11:19:48 2011 +0100
@@ -465,7 +465,7 @@
 
 
 echo
-echo {disable code generation}
+echo {enable code generation}
 
 exit 0
 
--- a/lib/standard_functions.txt	Mon Apr 04 10:48:30 2011 +0100
+++ b/lib/standard_functions.txt	Mon Apr 04 11:19:48 2011 +0100
@@ -2795,4 +2795,4 @@
 END_FUNCTION
 *)
 
-{disable code generation}
+{enable code generation}