diff options
Diffstat (limited to 'frontend/comparedefimp.dcl')
| -rw-r--r-- | frontend/comparedefimp.dcl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontend/comparedefimp.dcl b/frontend/comparedefimp.dcl index 8727005..5750f6e 100644 --- a/frontend/comparedefimp.dcl +++ b/frontend/comparedefimp.dcl @@ -4,6 +4,6 @@ import syntax, checksupport // compare definition and implementation module -compareDefImp :: !{!FunctionBody} !*{# DclModule} !*IclModule !*Heaps !*ErrorAdmin +compareDefImp :: !{#Int} !{!FunctionBody} !*{# DclModule} !*IclModule !*Heaps !*ErrorAdmin -> (!.{# DclModule}, !.IclModule,!.Heaps,!.ErrorAdmin) |