diff -r 1ee9b312dc18 -r 007fbadfa7f9 src/bots.h
--- a/src/bots.h	Sat Jan 11 22:36:31 2014 +0200
+++ b/src/bots.h	Mon Jan 13 00:15:38 2014 +0200
@@ -74,8 +74,8 @@
 	dh_multiply_local_var,
 	dh_divide_local_var,
 	dh_mod_local_var,
-	dh_CASEGOTO,
-	dh_DROP,
+	dh_case_goto,
+	dh_drop,
 	dh_increase_global_array,
 	dh_decrease_global_array,
 	dh_assign_global_array,