Review from Guy

nicolo-ribaudo · Feb 27, 2024 · 0eaf95e · 0eaf95e
1 parent 5312b6c
commit 0eaf95e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/spec.html b/spec.html
@@ -26811,7 +26811,7 @@ <h1>Example Cyclic Module Record Graphs</h1>
               </tr>
               <tr>
                 <th>_C_</th>
-                <td>2</td>
+                <td>3</td>
                 <td>0</td>
                 <td>~evaluating-async~</td>
                 <td>*true*</td>