# HG changeset patch
# User Mario de Sousa <msousa@fe.up.pt>
# Date 1301912388 -3600
# Node ID 98fc461e18880a36f67672869cdc6f25068234c0
# Parent  1eba01e3fb70e9a826f326a6ee03d4ce0d57098d
Fixing stupid bug (that was disabling code generation).

diff -r 1eba01e3fb70 -r 98fc461e1888 lib/create_standard_function_header.sh
--- 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
 
diff -r 1eba01e3fb70 -r 98fc461e1888 lib/standard_functions.txt
--- 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}