diff --git a/src/plugins/server/tests/batch/oracle/ast_services.out.json b/src/plugins/server/tests/batch/oracle/ast_services.out.json
index 3dc3730f8f4b2707777bde129a6916dcb1f94d84..5ecfe153b226bca9952c46562f2b0408a4827e1f 100644
--- a/src/plugins/server/tests/batch/oracle/ast_services.out.json
+++ b/src/plugins/server/tests/batch/oracle/ast_services.out.json
@@ -7,13 +7,27 @@
           "key": "kf#24",
           "name": "g",
           "signature": "int g(int y);",
-          "defined": true
+          "defined": true,
+          "sloc": {
+            "dir": "tests/batch",
+            "base": "ast_services.i",
+            "file":
+              "/home/michele/work/frama-c/src/plugins/server/tests/batch/ast_services.i",
+            "line": 2
+          }
         },
         {
           "key": "kf#20",
           "name": "f",
           "signature": "int f(int x);",
-          "defined": true
+          "defined": true,
+          "sloc": {
+            "dir": "tests/batch",
+            "base": "ast_services.i",
+            "file":
+              "/home/michele/work/frama-c/src/plugins/server/tests/batch/ast_services.i",
+            "line": 1
+          }
         }
       ],
       "removed": [],