Commit 7fad2510 authored by Michael Sammler's avatar Michael Sammler
Browse files

add simpl to solve_goal

parent 06460813
Pipeline #48451 passed with stage
in 21 minutes and 48 seconds
......@@ -176,6 +176,7 @@ Ltac reduce_closed_Z :=
Ltac solve_goal :=
simpl;
try fast_done;
solve_goal_prepare_tac;
normalize_and_simpl_goal;
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment