diff --git a/src/passes/1-parser/pascaligo/.links b/src/passes/1-parser/pascaligo/.links index f0fdfb646..3c0ffd08a 100644 --- a/src/passes/1-parser/pascaligo/.links +++ b/src/passes/1-parser/pascaligo/.links @@ -4,6 +4,9 @@ $HOME/git/ligo/vendors/ligo-utils/simple-utils/pos.mli $HOME/git/ligo/vendors/ligo-utils/simple-utils/pos.ml $HOME/git/ligo/vendors/ligo-utils/simple-utils/region.mli $HOME/git/ligo/vendors/ligo-utils/simple-utils/region.ml +$HOME/git/ligo/vendors/ligo-utils/simple-utils/x_map.ml +$HOME/git/ligo/vendors/ligo-utils/simple-utils/x_list.ml +$HOME/git/ligo/vendors/ligo-utils/simple-utils/x_option.ml ../shared/Lexer.mli ../shared/Lexer.mll ../shared/Error.mli diff --git a/src/passes/1-parser/pascaligo/Stubs/Simple_utils.ml b/src/passes/1-parser/pascaligo/Stubs/Simple_utils.ml index 0360af1b5..61a721ba3 100644 --- a/src/passes/1-parser/pascaligo/Stubs/Simple_utils.ml +++ b/src/passes/1-parser/pascaligo/Stubs/Simple_utils.ml @@ -1,2 +1,3 @@ module Region = Region module Pos = Pos +module Option = X_option