lib/lrama/counterexamples/start_path.rb in lrama-0.6.9 vs lib/lrama/counterexamples/start_path.rb in lrama-0.6.10
- old
+ new
@@ -1,4 +1,6 @@
+# frozen_string_literal: true
+
module Lrama
class Counterexamples
class StartPath < Path
def initialize(to_state_item)
super nil, to_state_item