Change default next-state suffix

stanford-centaur · Sep 10, 2024 · 3ac3039 · 3ac3039
1 parent 8e4c477
commit 3ac3039
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/core/ts.h b/core/ts.h
@@ -36,8 +36,9 @@ class TransitionSystem
   {
   }
 
-  TransitionSystem(const smt::SmtSolver & s,
-                   const std::string & next_state_suffix = ".next")
+  TransitionSystem(
+      const smt::SmtSolver & s,
+      const std::string & next_state_suffix = ".pono_generated__next")
       : solver_(s),
         init_(s->make_term(true)),
         trans_(s->make_term(true)),