aboutsummaryrefslogtreecommitdiff
path: root/frontend/checksupport.dcl
diff options
context:
space:
mode:
authorjohnvg2007-01-30 10:17:47 +0000
committerjohnvg2007-01-30 10:17:47 +0000
commit2f605fff87148d6b8bd0c9051a384485c058fddb (patch)
tree56e7f4ea0d4216e8050394814eafc83fcbb51fd1 /frontend/checksupport.dcl
parentremove instances from ExplImpComponentNrs, because it is always [] (diff)
remove di_instances, because it is always []
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1644 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/checksupport.dcl')
-rw-r--r--frontend/checksupport.dcl1
1 files changed, 0 insertions, 1 deletions
diff --git a/frontend/checksupport.dcl b/frontend/checksupport.dcl
index c59a36b..25af501 100644
--- a/frontend/checksupport.dcl
+++ b/frontend/checksupport.dcl
@@ -77,7 +77,6 @@ cConversionTableSize :== 10
:: DeclarationInfo =
{ di_decl :: !Declaration
- , di_instances :: ![Declaration]
, di_belonging :: !NumberSet
}