From 1e76366f51c0a5950a5f093a8b86d3524210ab96 Mon Sep 17 00:00:00 2001
From: Denis Merigoux <denis.merigoux@inria.fr>
Date: Fri, 12 Apr 2024 17:04:17 +0200
Subject: [PATCH] Fix extra_pos/pos

---
 compiler/dcalc/from_scopelang.ml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/compiler/dcalc/from_scopelang.ml b/compiler/dcalc/from_scopelang.ml
index 18ce0c17..926873b8 100644
--- a/compiler/dcalc/from_scopelang.ml
+++ b/compiler/dcalc/from_scopelang.ml
@@ -272,10 +272,9 @@ let rec translate_expr (ctx : 'm ctx) (e : 'm S.expr) : 'm Ast.expr boxed =
               ( var_ctx.scope_input_name,
                 thunk_scope_arg var_ctx (translate_expr ctx e) )
           | Some var_ctx, None ->
-            Message.error
+            Message.error ~pos
               ~extra_pos:
                 [
-                  "", pos;
                   ( "Declaration of the missing input variable",
                     Mark.get (StructField.get_info var_ctx.scope_input_name) );
                 ]