@@ -38,6 +38,7 @@ tacticArgs = [ ("intro", Nothing) -- FIXME syntax for intro (fresh name)
3838 , ("let", Nothing) -- FIXME syntax for let
3939 , ("focus", Just ExprTArg)
4040 , ("exact", Just ExprTArg)
41+ , ("equiv", Just ExprTArg)
4142 , ("applyTactic", Just ExprTArg)
4243 , ("reflect", Just ExprTArg)
4344 , ("fill", Just ExprTArg)