diff options
| author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2021-05-12 16:08:36 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-05-12 16:08:36 +0200 |
| commit | 7feef2d66042a1d8dc6acda7e2f6e31e0b1791ed (patch) | |
| tree | 45d332e712f6ae1815e699dc709729dca5a96d1e /compilerlibs | |
| parent | 8ce8bff9dbf0b7b877925d890eac91df7e2af8de (diff) | |
| parent | 91285e0ad56673a77649ebed930d6278ff7e8aa1 (diff) | |
| download | ocaml-7feef2d66042a1d8dc6acda7e2f6e31e0b1791ed.tar.gz | |
Merge pull request #10401 from Octachron/signature_group_2
#6654, #9974: make include and with constraints aware of ghost components
Diffstat (limited to 'compilerlibs')
| -rw-r--r-- | compilerlibs/Makefile.compilerlibs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compilerlibs/Makefile.compilerlibs b/compilerlibs/Makefile.compilerlibs index abb29d9b8d..75d253ce0d 100644 --- a/compilerlibs/Makefile.compilerlibs +++ b/compilerlibs/Makefile.compilerlibs @@ -86,6 +86,7 @@ TYPING = \ typing/env.cmo \ typing/errortrace.cmo \ typing/typedtree.cmo \ + typing/signature_group.cmo \ typing/printtyped.cmo \ typing/ctype.cmo \ typing/printtyp.cmo \ |