diff --git a/src/plugins/obfuscator/obfuscate.ml b/src/plugins/obfuscator/obfuscate.ml
index 1226530bf2284b2a9bbe0c896c49a1a46898673c..eba13df113289c5ff7af436f389ed2843477968e 100644
--- a/src/plugins/obfuscator/obfuscate.ml
+++ b/src/plugins/obfuscator/obfuscate.ml
@@ -84,14 +84,13 @@ class visitor = object
     if Varinfo.Hashtbl.mem varinfos_visited vi then
       Cil.SkipChildren
     else begin
-      if Cil.isFunctionType vi.vtype then
-        try
-          if vi.vname <> "main"
-          && not (Cil.is_builtin vi)
-          && not (Cil.is_special_builtin vi.vname)
-          && not (Cil.hasAttribute "fc_stdlib" vi.vattr) then
-            vi.vname <- Dictionary.fresh Obfuscator_kind.Function vi.vname
-        with Not_found -> assert false
+      if Cil.isFunctionType vi.vtype then begin
+        if vi.vname <> "main"
+        && not (Cil.is_builtin vi)
+        && not (Cil.is_special_builtin vi.vname)
+        && not (Cil.hasAttribute "fc_stdlib" vi.vattr) then
+          vi.vname <- Dictionary.fresh Obfuscator_kind.Function vi.vname
+      end
       else begin
 	let add =
           if vi.vglob then Dictionary.fresh Obfuscator_kind.Global_var