From 3b35e5b7126b8282fdb425b56735fecf5455fd5f Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@inria.fr>
Date: Wed, 27 Feb 2019 09:48:38 +0100
Subject: [PATCH] [Aorai] Replaces deprecated module Cil.Sid with Cil_const.Sid
---
src/plugins/aorai/aorai_visitors.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/aorai/aorai_visitors.ml b/src/plugins/aorai/aorai_visitors.ml
index 68571210062..165990df1ce 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 *)
--
GitLab