diff options
Diffstat (limited to '')
| -rw-r--r-- | lib/sublanguage.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/sublanguage.ml b/lib/sublanguage.ml index 4cfe913..86d8cb4 100644 --- a/lib/sublanguage.ml +++ b/lib/sublanguage.ml @@ -26,6 +26,8 @@ type result = | Cursor of cursor_result module type S = sig + include Configuration.CONFIGURABLE + type storage type ast type error |