Better warn msg

hernanponcedeleon · Aug 23, 2024 · 6fc36b2 · 6fc36b2
1 parent aa7bef4
commit 6fc36b2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dartagnan/src/main/java/com/dat3m/dartagnan/encoding/PropertyEncoder.java b/dartagnan/src/main/java/com/dat3m/dartagnan/encoding/PropertyEncoder.java
@@ -107,7 +107,7 @@ public BooleanFormula encodeProperties(EnumSet<Property> properties) {
                     "The set of properties %s are of mixed type (safety and reachability properties). " +
                     "Cannot encode mixed properties into a single SMT-query. " +
                     "You can select a different set of properties with option --property. " +
-                    "Defaulting to reachability.",
+                    "Defaulting to " + Property.PROGRAM_SPEC.asStringOption() + ".",
                     properties);
             logger.warn(warn);
             properties = EnumSet.of(Property.PROGRAM_SPEC);