@@ -2023,6 +2023,7 @@ substMatchShadow n shs tm t = sm shs t where
20232023 sm xs (PHidden x) = PHidden (sm xs x)
20242024 sm xs (PUnifyLog x) = PUnifyLog (sm xs x)
20252025 sm xs (PNoImplicits x) = PNoImplicits (sm xs x)
2026+ sm xs (PRunElab fc script) = PRunElab fc (sm xs script)
20262027 sm xs x = x
20272028
20282029 fullApp (PApp _ (PApp fc f args) xs) = fullApp (PApp fc f (args ++ xs))