diff options
Diffstat (limited to 'backend/backendinterface.dcl')
| -rw-r--r-- | backend/backendinterface.dcl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/backend/backendinterface.dcl b/backend/backendinterface.dcl index 56fac85..e25c63a 100644 --- a/backend/backendinterface.dcl +++ b/backend/backendinterface.dcl @@ -2,4 +2,4 @@ definition module backendinterface import frontend -backEndInterface :: !{#Char} [{#Char}] !PredefinedSymbols !*FrontEndSyntaxTree !*File !*Files -> (!Bool, !*File, !*Files) +backEndInterface :: !{#Char} [{#Char}] !PredefinedSymbols !FrontEndSyntaxTree !Int !*VarHeap !*File !*Files -> (!Bool,!*VarHeap, !*File, !*Files) |