@@ -1706,7 +1706,7 @@ runTactical fc env tm = do tm' <- eval tm
1706 returnUnit
1706 returnUnit
1707 | n == tacN "prim__Forget", [tt] <- args
1707 | n == tacN "prim__Forget", [tt] <- args
1708 = do tt' <- reifyTT tt
1708 = do tt' <- reifyTT tt
1709− fmap fst . get_type_val $ reflect tt'
1709+ fmap fst . get_type_val . reflectRaw $ forget tt'
1710 | n == tacN "prim__Attack", [] <- args
1710 | n == tacN "prim__Attack", [] <- args
1711 = do attack
1711 = do attack
1712 returnUnit
1712 returnUnit