diff --git a/src/kernel_services/ast_queries/cil.ml b/src/kernel_services/ast_queries/cil.ml
index 6bfd4b301b5030ac589ec72bea962aa88381dffd..2ff3b6f2789fadd2b95e54ecb58cf50ca433e18e 100644
--- a/src/kernel_services/ast_queries/cil.ml
+++ b/src/kernel_services/ast_queries/cil.ml
@@ -71,10 +71,10 @@ let () = Log.set_current_source (fun () -> fst (CurrentLoc.get ()))
 let pp_thisloc fmt = Location.pretty fmt (CurrentLoc.get ())
 
 let abort_context msg =
-  let pos = fst (CurrentLoc.get ()) in
+  let (start_pos,pos) = CurrentLoc.get () in
   let append fmt =
     Format.pp_print_newline fmt ();
-    Errorloc.pp_context_from_file fmt pos
+    Errorloc.pp_context_from_file ~start_pos fmt pos
   in
   Kernel.abort ~current:true ~append msg
 
diff --git a/tests/syntax/oracle/array_cast_bts1099.res.oracle b/tests/syntax/oracle/array_cast_bts1099.res.oracle
index 09ba17a47e269d5a40446c613f67d7d35cd6f4fd..9ba1eb0a36322413703fb4d5a80be7b78a5cd690 100644
--- a/tests/syntax/oracle/array_cast_bts1099.res.oracle
+++ b/tests/syntax/oracle/array_cast_bts1099.res.oracle
@@ -4,6 +4,6 @@
   10      int tab1[4];
   11      u* p = &tab1;
   12      t* p2 = (t) p;
-        ^^^^^^^^^^^^^^^^
+                  ^^^^^
   13    }
 [kernel] Frama-C aborted: invalid user input.
diff --git a/tests/syntax/oracle/wrong-assignment.res.oracle b/tests/syntax/oracle/wrong-assignment.res.oracle
index a6f9c43d92dca9c7475fc7aaaa1761c2613f7ee7..2dd3d505f17b9a5d75d7f5cfd8192ccad7f3e34a 100644
--- a/tests/syntax/oracle/wrong-assignment.res.oracle
+++ b/tests/syntax/oracle/wrong-assignment.res.oracle
@@ -4,6 +4,6 @@
   11    void d() {
   12      // this assignment should be rejected
   13      c.a = b;
-        ^^^^^^^^^^
+                ^
   14    }
 [kernel] Frama-C aborted: invalid user input.