diff options
Diffstat (limited to 'tool/lrama/lib/lrama/counterexamples.rb')
-rw-r--r-- | tool/lrama/lib/lrama/counterexamples.rb | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tool/lrama/lib/lrama/counterexamples.rb b/tool/lrama/lib/lrama/counterexamples.rb index 5019257dc3..046265da59 100644 --- a/tool/lrama/lib/lrama/counterexamples.rb +++ b/tool/lrama/lib/lrama/counterexamples.rb @@ -3,7 +3,10 @@ require "set" require "lrama/counterexamples/derivation" require "lrama/counterexamples/example" require "lrama/counterexamples/path" +require "lrama/counterexamples/production_path" +require "lrama/counterexamples/start_path" require "lrama/counterexamples/state_item" +require "lrama/counterexamples/transition_path" require "lrama/counterexamples/triple" module Lrama |