diff --git a/infer/src/IR/Pvar.re b/infer/src/IR/Pvar.re
index ff0eb1f2e..20c469cba 100644
--- a/infer/src/IR/Pvar.re
+++ b/infer/src/IR/Pvar.re
@@ -268,7 +268,8 @@ let tmp_prefix = "0$?%__sil_tmp";
 let is_frontend_tmp pvar => {
   /* Check whether the program variable is a temporary one generated by sawja */
   let is_sawja_tmp name =>
-    string_is_prefix "$irvar" name || string_is_prefix "$T" name || string_is_prefix "$bc" name;
+    string_is_prefix "$irvar" name ||
+      string_is_prefix "$T" name || string_is_prefix "$bc" name || string_is_prefix "CatchVar" name;
   /* Check whether the program variable is generated by [mk_tmp] */
   let is_sil_tmp name => string_is_prefix tmp_prefix name;
   let name = to_string pvar;