oceani: make "Base Types" a subsection of "Types"

[ocean] / csrc / oceani.mdc

diff --git a/csrc/oceani.mdc b/csrc/oceani.mdc
index f3bf6a1456981f5ed491d884326aa8829aa27803..430c29f2c8c23a58ec75f670083af281ae997040 100644 (file)
--- a/csrc/oceani.mdc
+++ b/csrc/oceani.mdc
@@ -557,7 +557,7 @@ which are often passed around by value.
                free(t);
        }
 
-### Base Types
+#### Base Types
 
 Values of the base types can be numbers, which we represent as
 multi-precision fractions, strings, Booleans and labels.  When