diff options
Diffstat (limited to 'chapter05/dejagnu.xml')
| -rw-r--r-- | chapter05/dejagnu.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/chapter05/dejagnu.xml b/chapter05/dejagnu.xml index 36c272f5c..c9a1f500b 100644 --- a/chapter05/dejagnu.xml +++ b/chapter05/dejagnu.xml @@ -17,7 +17,7 @@ <segmentedlist> <segtitle>&buildtime;</segtitle> <segtitle>&diskspace;</segtitle> -<seglistitem><seg>0.1 SBU</seg><seg>8.6 MB</seg></seglistitem> +<seglistitem><seg>0.1 SBU</seg><seg>6.1 MB</seg></seglistitem> </segmentedlist> <segmentedlist> |