Replace a wildcard

toku-sa-n · Aug 11, 2023 · 3e150bd · 3e150bd
1 parent 88082da
commit 3e150bd
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/lib/ppast.ml b/lib/ppast.ml
@@ -306,7 +306,9 @@ let pp_induction_clause printer = function
       in
       pp_destruction_arg printer arg;
       pp_as_list as_list
-  | _, (Some _, _), None -> write printer "n eqn:E"
+  | arg, (Some _, _), None ->
+      pp_destruction_arg printer arg;
+      write printer " eqn:E"
   | _ -> raise (NotImplemented (contents printer))
 
 let pp_induction_clause_list printer = function