diff --git a/infer/src/clang/CProcname.ml b/infer/src/clang/CProcname.ml
index 40422def9..521f6f0ae 100644
--- a/infer/src/clang/CProcname.ml
+++ b/infer/src/clang/CProcname.ml
@@ -167,7 +167,8 @@ let get_class_typename ?tenv method_decl_info =
   | Some class_decl ->
       CType_decl.get_record_typename ?tenv class_decl
   | None ->
-      assert false
+      CFrontend_config.incorrect_assumption __POS__ method_decl_info.Clang_ast_t.di_source_range
+        "Expecting class declaration when getting the class typename"
 
 
 module NoAstDecl = struct