diff --git a/src/Idris/ElabTerm.hs b/src/Idris/ElabTerm.hs
index b69f1ef2c..0b121fc18 100644
--- a/src/Idris/ElabTerm.hs
+++ b/src/Idris/ElabTerm.hs
@@ -1706,7 +1706,7 @@ runTactical fc env tm = do tm' <- eval tm
            returnUnit
       | n == tacN "prim__Forget", [tt] <- args
       = do tt' <- reifyTT tt
-           fmap fst . get_type_val $ reflect tt'
+           fmap fst . get_type_val . reflectRaw $ forget tt'
       | n == tacN "prim__Attack", [] <- args
       = do attack
            returnUnit