Merge branch 'fix_50' into 'master'
Fix build error with spelll.0.3 Closes #51 See merge request adacore/colibri!29
No related branches found
No related tags found
Checking pipeline status
Showing
- .gitlab-ci.yml 1 addition, 1 deletion.gitlab-ci.yml
- Src/COLIBRI/lib/v5/x86_64_linux/simplex_ocaml.so 0 additions, 0 deletionsSrc/COLIBRI/lib/v5/x86_64_linux/simplex_ocaml.so
- Src/COLIBRI/lib/v7/x86_64_linux/simplex_ocaml.so 0 additions, 0 deletionsSrc/COLIBRI/lib/v7/x86_64_linux/simplex_ocaml.so
- Src/COLIBRI/simplex_ocaml/Dockerfile 1 addition, 1 deletionSrc/COLIBRI/simplex_ocaml/Dockerfile
- Src/COLIBRI/simplex_ocaml/dolmen/src/typecheck/misc.ml 3 additions, 3 deletionsSrc/COLIBRI/simplex_ocaml/dolmen/src/typecheck/misc.ml
Loading
Please register or sign in to comment