From 7c5e3ff056c054ef5cd94962808163073d48c0d0 Mon Sep 17 00:00:00 2001
From: johnvg
Date: Tue, 14 Aug 2012 10:39:44 +0000
Subject: rename extendable to extensible

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2150 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 frontend/syntax.dcl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'frontend/syntax.dcl')

diff --git a/frontend/syntax.dcl b/frontend/syntax.dcl
index ab17380..c935783 100644
--- a/frontend/syntax.dcl
+++ b/frontend/syntax.dcl
@@ -186,7 +186,7 @@ instance == FunctionOrMacroIndex
 					| NewTypeCons !ParsedConstructor
 					| EmptyRhs !BITVECT
 					| AbstractTypeSpec !BITVECT !AType
-					| ExtendableConses ![ParsedConstructor]
+					| ExtensibleConses ![ParsedConstructor]
 					| MoreConses !Ident ![ParsedConstructor]
 
 ::	CollectedDefinitions instance_kind =
@@ -526,7 +526,7 @@ cIsImportedObject :== False
 			| NewType !DefinedSymbol
 			| AbstractType !BITVECT
 			| AbstractSynType !BITVECT !AType
-			| ExtendableAlgType ![DefinedSymbol]
+			| ExtensibleAlgType ![DefinedSymbol]
 			| AlgConses ![DefinedSymbol] !GlobalIndex
 			| UncheckedAlgConses !Ident ![DefinedSymbol]
 			| UnknownType
-- 
cgit v1.2.3