diff options
Diffstat (limited to 'compilerlibs/Makefile.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 \ |