From 4dbafc58aa23fca533b440ab7641165391492145 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Fri, 24 May 2019 15:41:05 +0200
Subject: [PATCH] [visitor] fix obsolete use of `ChangeDoChildrenPost` instead
of `DoChildrenPost`
---
src/kernel_services/ast_queries/filecheck.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/kernel_services/ast_queries/filecheck.ml b/src/kernel_services/ast_queries/filecheck.ml
index af3f16c4a27..b7555d41960 100644
--- a/src/kernel_services/ast_queries/filecheck.ml
+++ b/src/kernel_services/ast_queries/filecheck.ml
@@ -378,7 +378,7 @@ class check ?(is_normalized=true) what : Visitor.frama_c_visitor =
self#pop_behavior_stack ();
f
in
- Cil.ChangeDoChildrenPost(f,check)
+ Cil.DoChildrenPost check
method private check_label s =
let ok = List.exists (function Label _ -> true | _ -> false) !s.labels in
--
GitLab