diff --git a/src/plugins/aorai/aorai_visitors.ml b/src/plugins/aorai/aorai_visitors.ml
index 68571210062b0840fed735fc4ff2666354155d20..165990df1ce1bf35fe8b81f022bcd9820cd24d98 100644
--- a/src/plugins/aorai/aorai_visitors.ml
+++ b/src/plugins/aorai/aorai_visitors.ml
@@ -978,7 +978,7 @@ object(self)
         Cil.mkStmtOneInstr
           (Set((Var vi_init,NoOffset), Cil.zero ~loc, loc))
       in
-      stmt_varset.sid<-(Cil.Sid.next ());
+      stmt_varset.sid<-(Cil_const.Sid.next ());
       stmt_varset.ghost<-true;
       begin
         (* Function adapted from the cil printer *)