diff --git a/lib/codegen.ml b/lib/codegen.ml
index 9e6534a..0863a04 100644
--- a/lib/codegen.ml
+++ b/lib/codegen.ml
@@ -436,13 +436,7 @@ let rec gen_expr (ctx : context) (expr : expr) : (context * instr list) result =
            UnboundVariable even though the parser accepts it. *)
         begin match List.assoc_opt id.name ctx.variant_tags with
           | Some tag -> Ok (ctx, [I32Const (Int32.of_int tag)])
-          | None ->
-            (* Top-level const bindings are stored in func_indices with a
-               negative sentinel: actual global index = -(k+1). *)
-            begin match List.assoc_opt id.name ctx.func_indices with
-              | Some k when k < 0 -> Ok (ctx, [GlobalGet (-(k + 1))])
-              | _ -> Error (UnboundVariable id.name)
-            end
+          | None -> Error (UnboundVariable id.name)
         end
     end