diff options
Diffstat (limited to 'src/source.sml')
| -rw-r--r-- | src/source.sml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/source.sml b/src/source.sml index 6397bd71..266e8629 100644 --- a/src/source.sml +++ b/src/source.sml @@ -67,6 +67,7 @@ datatype sgn_item' = | SgiCon of string * kind option * con | SgiVal of string * con | SgiStr of string * sgn + | SgiInclude of sgn and sgn' = SgnConst of sgn_item list |