diff options
| author | Chimrod <> | 2024-02-03 17:41:28 +0100 |
|---|---|---|
| committer | Chimrod <> | 2024-02-08 11:45:10 +0100 |
| commit | 35ef1827a216a1deb6d15f916ff197b0c75bc83e (patch) | |
| tree | e728adf4c035ae29cf1dec37e0d01b4590a3ee4d /lib/syntax/dead_end.ml | |
| parent | 82c63921c09e2b07d3d5fbf82a912bbe707ffecb (diff) | |
Updated the interface for default expression analyzer
Diffstat (limited to 'lib/syntax/dead_end.ml')
| -rw-r--r-- | lib/syntax/dead_end.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/lib/syntax/dead_end.ml b/lib/syntax/dead_end.ml index 98c361e..832a97a 100644 --- a/lib/syntax/dead_end.ml +++ b/lib/syntax/dead_end.ml @@ -6,7 +6,6 @@ let active = ref false module Expression = struct type t = unit - type t' = unit include Default.Expression (struct type nonrec t = t |