Merge branch 'master' of ../yap-6.2

2010-12-15 20:04:13 +00:00
parent 782fe00123 4546a22101
commit 2dad416011
9 changed files with 30 additions and 14 deletions
--- a/1
+++ b/1
@@ -8574,6 +8574,7 @@ main ()
 {
 jmp_buf         RestartEnv;

+	_setjmp (RestartEnv);
 	_longjmp (RestartEnv, 1);

  ;