From 537493087681eaa29dd07a0b9577dbbbc911cf4a Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Fri, 26 Aug 2022 15:36:05 +0200
Subject: [PATCH] Attribute "printf" for ModelChecker::dot_output.

---
 src/mc/ModelChecker.hpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/mc/ModelChecker.hpp b/src/mc/ModelChecker.hpp
index 8f80eae797..09fbfcbdf6 100644
--- a/src/mc/ModelChecker.hpp
+++ b/src/mc/ModelChecker.hpp
@@ -65,7 +65,7 @@ public:
   unsigned long get_visited_states() const { return visited_states_; }
   void inc_visited_states() { visited_states_++; }
 
-  void dot_output(const char* fmt, ...);
+  void dot_output(const char* fmt, ...) XBT_ATTRIB_PRINTF(2, 3);
   void dot_output_flush()
   {
     if (dot_output_ != nullptr)
-- 
2.20.1