diff options
Diffstat (limited to 'clib/clib.mllib')
-rw-r--r-- | clib/clib.mllib | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/clib/clib.mllib b/clib/clib.mllib index c9b4d72f..5a2c9a9c 100644 --- a/clib/clib.mllib +++ b/clib/clib.mllib @@ -1,4 +1,3 @@ -Canary CObj CEphemeron @@ -38,3 +37,5 @@ Backtrace IStream Terminal Monad + +Diff2 |