diff options
| author | martinw | 2000-04-26 09:10:34 +0000 |
|---|---|---|
| committer | martinw | 2000-04-26 09:10:34 +0000 |
| commit | 1e8f9d92be20258186661009221e60034fc53f06 (patch) | |
| tree | 7b82bbcc810aa9fdfa04b0912914a8139d8683bc /frontend/general.dcl | |
| parent | small bugfix (diff) | |
changes to make compiler compatible with itself
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@126 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/general.dcl')
| -rw-r--r-- | frontend/general.dcl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontend/general.dcl b/frontend/general.dcl index e2215df..ac5e052 100644 --- a/frontend/general.dcl +++ b/frontend/general.dcl @@ -16,7 +16,7 @@ instance <<< [a] | <<< a , bind_dst :: !b } -:: Env a b :== [Bind a b] +:: Env a b :== [.Bind a b] :: Optional x = Yes !x | No |