lib/lrama/counterexamples/transition_path.rb in lrama-0.6.9 vs lib/lrama/counterexamples/transition_path.rb in lrama-0.6.10
- old
+ new
@@ -1,4 +1,6 @@
+# frozen_string_literal: true
+
module Lrama
class Counterexamples
class TransitionPath < Path
def type
:transition