X-Git-Url: http://deadsoftware.ru/gitweb?p=dsw-obn.git;a=blobdiff_plain;f=Test.obn;h=6fae5299c4ceb508ddf3708622d39e419e562a12;hp=363783e2baa8fa206a03e87c99ad827c66b77d6d;hb=8212ec191c6700e5f0ceb7600b6d30441ca2bc88;hpb=9e17ac5ff506785891f06e3beeba66185fc7f867 diff --git a/Test.obn b/Test.obn index 363783e..6fae529 100644 --- a/Test.obn +++ b/Test.obn @@ -1,17 +1,3 @@ MODULE Test; -TYPE - R1 = RECORD END; -(* R2 = RECORD (R1) END; *) - R3 = RECORD END; - -VAR -(* - a : R1; - b : R2; -*) - c : R3; - -BEGIN -(* a := b; *) END Test.