diff options
Diffstat (limited to 'mps/code/root.c')
| -rw-r--r-- | mps/code/root.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/mps/code/root.c b/mps/code/root.c index bd2dd21f5ea..e746d3c1b61 100644 --- a/mps/code/root.c +++ b/mps/code/root.c | |||
| @@ -380,7 +380,7 @@ void RootDestroy(Root root) | |||
| 380 | 380 | ||
| 381 | Arena RootArena(Root root) | 381 | Arena RootArena(Root root) |
| 382 | { | 382 | { |
| 383 | AVER(CHECKT(Root, root)); | 383 | AVER(TESTT(Root, root)); |
| 384 | return root->arena; | 384 | return root->arena; |
| 385 | } | 385 | } |
| 386 | 386 | ||
| @@ -584,7 +584,7 @@ Res RootDescribe(Root root, mps_lib_FILE *stream) | |||
| 584 | { | 584 | { |
| 585 | Res res; | 585 | Res res; |
| 586 | 586 | ||
| 587 | if (!CHECKT(Root, root)) return ResFAIL; | 587 | if (!TESTT(Root, root)) return ResFAIL; |
| 588 | if (stream == NULL) return ResFAIL; | 588 | if (stream == NULL) return ResFAIL; |
| 589 | 589 | ||
| 590 | res = WriteF(stream, | 590 | res = WriteF(stream, |