--- a/Nominal/Test.thy	Mon Mar 15 14:32:05 2010 +0100
+++ b/Nominal/Test.thy	Mon Mar 15 17:42:17 2010 +0100
@@ -7,6 +7,7 @@
 atom_decl name
 
 ML {* val cheat_alpha_eqvt = ref false *}
+ML {* val cheat_fv_eqvt = ref false *}
 
 nominal_datatype lam =
   VAR "name"