add mutex files

[model-checker.git] / action.h

diff --git a/action.h b/action.h
index 12771f2bed8c73f926d5d4906fa18beb531207d3..9fa7a91c3f93443714f54ec34b153c4d09a1c20b 100644 (file)
--- a/action.h
+++ b/action.h
@@ -72,7 +72,7 @@ public:
        bool is_rmwr() const;
        bool is_rmwc() const;
        bool is_rmw() const;
-  bool is_fence() const;
+       bool is_fence() const;
        bool is_initialization() const;
        bool is_acquire() const;
        bool is_release() const;