path: root/etc/isa/multiple/Err.ML

(* Test to see that scripting is *not* turned on
   if an error occurs during activation
*)

val x = 1;