src/pt-eval.cc
changeset 9377 bcb3e85add22
parent 9355 88a5cb3e7b25
child 9399 0014ff1747a6
     1.1 --- a/src/pt-eval.cc	Wed Jun 24 07:40:21 2009 +0200
     1.2 +++ b/src/pt-eval.cc	Fri Jul 03 18:59:07 2009 +0200
     1.3 @@ -986,6 +986,8 @@
     1.4      unwind_protect::discard ();
     1.5    else
     1.6      unwind_protect::run ();
     1.7 +
     1.8 +  unwind_protect::run ();
     1.9  }
    1.10  
    1.11  void