@@ -274,6 +274,7 @@ instance NFData PTerm where
274instance NFData PAltType where
274instance NFData PAltType where
275 rnf (ExactlyOne x1) = rnf x1 `seq` ()
275 rnf (ExactlyOne x1) = rnf x1 `seq` ()
276 rnf FirstSuccess = ()
276 rnf FirstSuccess = ()
277+ rnf TryImplicit = ()
278instance (NFData t) => NFData (PTactic' t) where
279instance (NFData t) => NFData (PTactic' t) where
279 rnf (Intro x1) = rnf x1 `seq` ()
280 rnf (Intro x1) = rnf x1 `seq` ()