diff options
Diffstat (limited to 'frontend/typereify.dcl')
| -rw-r--r-- | frontend/typereify.dcl | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/frontend/typereify.dcl b/frontend/typereify.dcl index 292d211..1c43819 100644 --- a/frontend/typereify.dcl +++ b/frontend/typereify.dcl @@ -15,6 +15,3 @@ addTypeFunctions :: Ident Int *{#DclModule} *{#FunDef} *CommonDefs *PredefinedSy buildTypeFunctions :: !Int !*{#FunDef} !{#CommonDefs} *PredefinedSymbols *VarHeap *TypeHeaps -> (*{#FunDef}, *PredefinedSymbols,*VarHeap,*TypeHeaps) - -sanityCheckTypeFunctions :: !Int !CommonDefs !{#DclModule} !{#FunDef} - -> Bool |