diff options
Diffstat (limited to 'frontend/syntax.icl')
-rw-r--r-- | frontend/syntax.icl | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/frontend/syntax.icl b/frontend/syntax.icl index da5445c..900cc3d 100644 --- a/frontend/syntax.icl +++ b/frontend/syntax.icl @@ -203,8 +203,6 @@ where = file <<< "A." <<< vars <<< ':' <<< types (<<<) file (TFAC vars types contexts) = file <<< "A." <<< vars <<< ':' <<< types <<< " | " <<< contexts - (<<<) file (TQV varid) - = file <<< "E." <<< varid (<<<) file (TempQV tv_number) = file <<< "E.#" <<< tv_number <<< ' ' (<<<) file (TempQDV tv_number) |