diff --git a/infer/src/clang/cFrontend_config.ml b/infer/src/clang/cFrontend_config.ml
index 95e303b8e..8c4bfb7f4 100644
--- a/infer/src/clang/cFrontend_config.ml
+++ b/infer/src/clang/cFrontend_config.ml
@@ -39,6 +39,7 @@ exception IncorrectAssumption of exception_details
 let incorrect_assumption position source_range ?ast_node fmt =
   F.kasprintf (fun msg -> raise (IncorrectAssumption {msg; position; source_range; ast_node})) fmt
 
+
 type translation_unit_context = {lang: clang_lang; source_file: SourceFile.t}
 
 (** Constants *)
diff --git a/infer/src/clang/cTrans_utils.ml b/infer/src/clang/cTrans_utils.ml
index 444c24b7e..a1d557fa5 100644
--- a/infer/src/clang/cTrans_utils.ml
+++ b/infer/src/clang/cTrans_utils.ml
@@ -584,7 +584,7 @@ let extract_stmt_from_singleton stmt_list warning_string =
 module Self = struct
   exception SelfClassException of
     { class_name: Typ.Name.t
-    ; position: string * int * int * int
+    ; position: CFrontend_config.ocaml_pos
     ; source_range: Clang_ast_t.source_range }
 
   let add_self_parameter_for_super_instance context procname loc mei =
diff --git a/infer/src/clang/cTrans_utils.mli b/infer/src/clang/cTrans_utils.mli
index a89d00aaf..cd7f52a6d 100644
--- a/infer/src/clang/cTrans_utils.mli
+++ b/infer/src/clang/cTrans_utils.mli
@@ -158,7 +158,7 @@ end
 module Self : sig
   exception SelfClassException of
     { class_name: Typ.Name.t
-    ; position: string * int * int * int
+    ; position: CFrontend_config.ocaml_pos
     ; source_range: Clang_ast_t.source_range }
 
   val add_self_parameter_for_super_instance :