diff --git a/chapter05/dejagnu-inst.xml b/chapter05/dejagnu-inst.xml index a82652759..f91178a8a 100644 --- a/chapter05/dejagnu-inst.xml +++ b/chapter05/dejagnu-inst.xml @@ -4,7 +4,6 @@