From 84c5408706feb748cf364efcbe6a67512d622f40 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Wed, 8 Apr 2020 09:49:24 +0200
Subject: added EF_profiling

---
 backend/CSE.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'backend/CSE.v')

diff --git a/backend/CSE.v b/backend/CSE.v
index 1936d4e4..9ba50a34 100644
--- a/backend/CSE.v
+++ b/backend/CSE.v
@@ -493,7 +493,7 @@ Definition transfer (f: function) (approx: PMap.t VA.t) (pc: node) (before: numb
               | _ =>
                   empty_numbering
               end
-          | EF_vload _ | EF_annot _ _ _ | EF_annot_val _ _ _ | EF_debug _ _ _ =>
+          | EF_vload _ | EF_annot _ _ _ | EF_annot_val _ _ _ | EF_debug _ _ _ | EF_profiling _ =>
               set_res_unknown before res
           end
       | Icond cond args ifso ifnot _ =>
-- 
cgit