From c957465176d46a7f06a96393619db5e6f4fbda38 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Tue, 13 Aug 2013 11:59:26 -0400
Subject: --segv-nospin is now default.

---
 src/options/base_options | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'src/options')

diff --git a/src/options/base_options b/src/options/base_options
index f9eb64ef2..a6f24c7f3 100644
--- a/src/options/base_options
+++ b/src/options/base_options
@@ -114,9 +114,6 @@ option parseOnly parse-only --parse-only bool :read-write
 option preprocessOnly preprocess-only --preprocess-only bool
  exit after preprocessing input
 
-option segvNoSpin --segv-nospin bool
- don't spin on segfault waiting for gdb
-
 option - trace -t --trace=TAG argument :handler CVC4::options::addTraceTag
  trace something (e.g. -t pushpop), can repeat
 option - debug -d --debug=TAG argument :handler CVC4::options::addDebugTag
-- 
cgit v1.2.3