aboutsummaryrefslogtreecommitdiff
path: root/frontend/checksupport.icl
diff options
context:
space:
mode:
authorronny2003-06-19 11:16:07 +0000
committerronny2003-06-19 11:16:07 +0000
commitd1a5a14e6d7a2fed7f54c08f55085865e1813391 (patch)
tree31cb92717a4e42abb958bcada56d21f55962cca7 /frontend/checksupport.icl
parentenable boxed records (diff)
s/sd__ident/sd_ident/g
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1353 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/checksupport.icl')
-rw-r--r--frontend/checksupport.icl2
1 files changed, 1 insertions, 1 deletions
diff --git a/frontend/checksupport.icl b/frontend/checksupport.icl
index 0e2ae71..f015f73 100644
--- a/frontend/checksupport.icl
+++ b/frontend/checksupport.icl
@@ -619,7 +619,7 @@ where
instance toIdent SelectorDef
where
- toIdent sd = sd.sd__ident
+ toIdent sd = sd.sd_ident
/*
instance toIdent DeltaRule