Documentation fixes

[vlp.git] / src / int / typchk.c

diff --git a/src/int/typchk.c b/src/int/typchk.c
index 2a70407da85e37de4e0181ce1d33d9e526f0a92b..fb9f498ccb2336be63dd87c75476067db68acc6d 100644 (file)
--- a/src/int/typchk.c
+++ b/src/int/typchk.c
@@ -34,10 +34,9 @@ or             Andrzej Salwicki
 #include "process.h"
 #include "intproto.h"
 
-/* Type checking routines */
-
-
-/* Determine if prot occurs in the prefix sequence of object am
+/**
+ * @defgroup
+ * @brief Type checking routines
  */
 
 #ifndef NO_PROTOTYPES
@@ -52,7 +51,7 @@ static bool prefh();
 static bool typef();
 #endif
 
-
+/** Determine if prot occurs in the prefix sequence of object am */
 static bool pref(word am, word prot)
 {
        word t1, t2;
@@ -73,7 +72,7 @@ static bool pref(word am, word prot)
        return FALSE;
 }
 
-/* Validate qualification of object */
+/** Validate qualification of object */
 void qua(virtaddr *virt, word tp)
 {
        if (virt->mark != M[virt->addr + 1])
@@ -84,7 +83,7 @@ void qua(virtaddr *virt, word tp)
                errsignal(RTEINCQA);
 }
 
-/* Determine if A in B */
+/** Determine if A in B */
 bool inl(virtaddr *virt, word tp)
 {
        /* none is in everything */
@@ -96,7 +95,7 @@ bool inl(virtaddr *virt, word tp)
                return pref(M[virt->addr], M[tp + 1]);
 }
 
-/* Determine if A is B */
+/** Determine if A is B */
 bool is(virtaddr *virt, word tp)
 {
        if (virt->mark != M[virt->addr + 1] || M[tp] != CLASSTYPE)