diff options
Diffstat (limited to 'chapter07/dejagnu.xml')
| -rw-r--r-- | chapter07/dejagnu.xml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/chapter07/dejagnu.xml b/chapter07/dejagnu.xml index 727173d0e..da6a44aa9 100644 --- a/chapter07/dejagnu.xml +++ b/chapter07/dejagnu.xml @@ -32,8 +32,8 @@ <segtitle>&diskspace;</segtitle> <seglistitem> - <seg>&dejagnu-ch5-sbu;</seg> - <seg>&dejagnu-ch5-du;</seg> + <seg>&dejagnu-tmp-sbu;</seg> + <seg>&dejagnu-tmp-du;</seg> </seglistitem> </segmentedlist> |