case args: align_right;

--- a/src/HOL/Tools/induct_method.ML	Mon Sep 11 17:34:42 2000 +0200
+++ b/src/HOL/Tools/induct_method.ML	Mon Sep 11 17:35:17 2000 +0200
@@ -240,7 +240,7 @@
     val cert = Thm.cterm_of sg;
 
     fun inst_rule insts thm =
-      (align_right "Rule has fewer premises than arguments given" (Thm.prems_of thm) insts
+      (align_left "Rule has fewer premises than arguments given" (Thm.prems_of thm) insts
         |> (flat o map (prep_inst align_left cert))
         |> Drule.cterm_instantiate) thm;