diff options
-rw-r--r-- | frontend/transform.icl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontend/transform.icl b/frontend/transform.icl index 988b2ef..4306ddc 100644 --- a/frontend/transform.icl +++ b/frontend/transform.icl @@ -1785,7 +1785,7 @@ where Dynamic administration is rebuilt. */ -class collectVariables a :: !a ![FreeVar] ![DynamicPtr] !*CollectState -> !(!a, ![FreeVar],[DynamicPtr],!*CollectState) +class collectVariables a :: !a ![FreeVar] ![DynamicPtr] !*CollectState -> (!a, ![FreeVar],[DynamicPtr],!*CollectState) cContainsACycle :== True cContainsNoCycle :== False |