--- a/src/HOL/Nunchaku/Tools/nunchaku.ML Sun Nov 06 22:51:40 2016 +0100
+++ b/src/HOL/Nunchaku/Tools/nunchaku.ML Mon Nov 07 14:55:39 2016 +0100
@@ -256,7 +256,7 @@
| Unknown (SOME (output, _)) => sat_or_maybe_sat false output
| Timeout => (print_n "Time out"; (unknownN, NONE))
| Nunchaku_Var_Not_Set =>
- (print_n ("Variable $" ^ nunchaku_env_var ^ " not set"); (unknownN, NONE))
+ (print_n ("Variable $" ^ nunchaku_home_env_var ^ " not set"); (unknownN, NONE))
| Nunchaku_Cannot_Execute =>
(print_n "External tool \"nunchaku\" cannot execute"; (unknownN, NONE))
| Nunchaku_Not_Found =>