From ab1373d2af34ff0a0b352162cf5a3115c70e3732 Mon Sep 17 00:00:00 2001
From: Godmar Back <godmar@gmail.com>
Date: Wed, 1 Nov 2006 21:20:52 +0000
Subject: [PATCH] added IGNORE_USER_FAULTS flag - so students may report failed
 stack growth

---
 src/tests/vm/pt-grow-bad.ck | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/tests/vm/pt-grow-bad.ck b/src/tests/vm/pt-grow-bad.ck
index a5775c7..4c0ab8a 100644
--- a/src/tests/vm/pt-grow-bad.ck
+++ b/src/tests/vm/pt-grow-bad.ck
@@ -2,7 +2,7 @@
 use strict;
 use warnings;
 use tests::tests;
-check_expected ([<<'EOF']);
+check_expected (IGNORE_USER_FAULTS => 1, [<<'EOF']);
 (pt-grow-bad) begin
 pt-grow-bad: exit(-1)
 EOF
-- 
2.30.2