Eta-expand iDtoIdx in base to prevent ptrdiff_ikind lookup during ini…

…tialization
goblint · Sep 24, 2024 · d4b4291 · d4b4291
1 parent 84e738b
commit d4b4291
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/analyses/base.ml b/src/analyses/base.ml
@@ -171,7 +171,7 @@ struct
    * Abstract evaluation functions
    **************************************************************************)
 
-  let iDtoIdx = ID.cast_to (Cilfacade.ptrdiff_ikind ())
+  let iDtoIdx x = ID.cast_to (Cilfacade.ptrdiff_ikind ()) x
 
   let unop_ID = function
     | Neg  -> ID.neg