Update Tactics.lidr

clayrat · web-flow · commit 870ed196dd8b · 2017-10-30T15:52:41.000+02:00
diff --git a/src/Tactics.lidr b/src/Tactics.lidr
@@ -149,8 +149,6 @@ tactic, which switches the left and right sides of an equality in the goal.
 >    symmetry
 >    exact $ Var h
 
-    solve
-
 
 ==== Exercise: 3 stars (apply_exercise1)
 
