Merge branch 'rinderknecht-dev' into 'dev'

Gardening See merge request ligolang/ligo!243
2019-12-09 16:44:15 +00:00 · 2019-12-09 16:44:15 +00:00 · c07247d076
commit c07247d076
parent 4112182aad 04a770e22d
2 changed files with 4 additions and 0 deletions
--- 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
--- 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