.

2025-07-09 07:37:04 +02:00
parent 1757216b68
commit 0213f36385
1 changed files with 1 additions and 1 deletions
--- a/scribblings/roos.scrbl
+++ b/scribblings/roos.scrbl
@@ -17,7 +17,7 @@ It supports class definitions with attributes and methods, multiple inheritance,
 and persistent fields through a user-extensible storage mechanism. All methods and attributes
 are virtual, and may be overridden in subclasses.

-@subsection{Class Definition Syntax}
+@section{Class Definition Syntax}

@defform[(def-roos (class-name ...) this (supers ...) body ...)]{
 Defines a ROOS class.