remove EOL spaces, fix indentation

[model-checker.git] / action.cc

diff --git a/action.cc b/action.cc
index f41b0eba7643e18a912b776c71470eddf71a1bf7..44d3f8f1d9b3e701e5d38f7100611b00b6870cf8 100644 (file)
--- a/action.cc
+++ b/action.cc
@@ -101,7 +101,7 @@ bool ModelAction::is_synchronizing(const ModelAction *act) const
        // Different locations commute
        if (!same_var(act))
                return false;
-       
+
        // Explore interleavings of seqcst writes to guarantee total order
        // of seq_cst operations that don't commute
        if (is_write() && is_seqcst() && act->is_write() && act->is_seqcst())