From ba958a0c4152fbd010b212f1e42a8ca0ec9efd13 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Thu, 9 Feb 2023 14:28:50 +0100
Subject: [PATCH] Lint
---
doc/developer/tutorial/viewcfg/v5-state/dump.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc/developer/tutorial/viewcfg/v5-state/dump.ml b/doc/developer/tutorial/viewcfg/v5-state/dump.ml
index cc49bf0bcb6..59863330f51 100644
--- a/doc/developer/tutorial/viewcfg/v5-state/dump.ml
+++ b/doc/developer/tutorial/viewcfg/v5-state/dump.ml
@@ -5,7 +5,7 @@ let dump_to_string fundec =
(fundec.svar.vorig_name);
ignore
(Visitor.visitFramacFunction
- (new Visit.print_cfg Format.str_formatter) fundec);
+ (new Visit.print_cfg Format.str_formatter) fundec);
Format.flush_str_formatter ()
module Cfg_graph_state = State_builder.Hashtbl
--
GitLab