edits

[model-checker.git] / scfence / scfence.cc

diff --git a/scfence/scfence.cc b/scfence/scfence.cc
index 63408cbf1c06c4fe96fab70961930b01eba4c914..130dc3b16dfc83f09bc563a4a97089d7b82c5ac4 100644 (file)
--- a/scfence/scfence.cc
+++ b/scfence/scfence.cc
@@ -35,7 +35,7 @@ void SCFence::setExecution(ModelExecution * execution) {
 }
 
 const char * SCFence::name() {
-       const char * name = "SCFENCE";
+       const char * name = "AUTOMO";
        return name;
 }