(doc) update docs to say REQUIRES_PGTABLE

rems-project · Jan 2, 2025 · 17709d0 · 17709d0
1 parent 259c54c
commit 17709d0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/source/writing_tests.rst b/doc/source/writing_tests.rst
@@ -252,7 +252,7 @@ An example that uses all the above features is given below, with comments:
       /** this test requires the MMU to be enabled
        * and hence requires the --pgtable option to be passed
        */
-      .requires_pgtable=1,
+      .requires=REQUIRES_PGTABLE,
 
       /** there are 14 other uninteresting results
        *