From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Fri, 26 Sep 2014 12:00:18 +0000 (-0400)
Subject: Fix bv options doc.
X-Git-Tag: cvc5-1.0.0~6509^2~26
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6f3d14f84e067d26e16e1a7c151ce06c38b6332b;p=cvc5.git

Fix bv options doc.
---

diff --git a/src/theory/bv/options b/src/theory/bv/options
index 81d88421b..a9c3b0f08 100644
--- a/src/theory/bv/options
+++ b/src/theory/bv/options
@@ -15,7 +15,7 @@ option bitblastMode bitblast --bitblast=MODE CVC4::theory::bv::BitblastMode :han
 option bitvectorAig --bitblast-aig bool :default false :predicate CVC4::theory::bv::abcEnabledBuild :predicate-include "theory/bv/options_handlers.h" :read-write :link --bitblast=eager :link --bv-aig-simp="balance;drw"
  bitblast by first converting to AIG (only if --bitblast=eager)
 
-expert-option bitvectorAigSimplifications --bv-aig-simp=FILE std::string :default "" :predicate CVC4::theory::bv::abcEnabledBuild :read-write :link --bitblast-aig
+expert-option bitvectorAigSimplifications --bv-aig-simp=COMMAND std::string :default "" :predicate CVC4::theory::bv::abcEnabledBuild :read-write :link --bitblast-aig
  abc command to run AIG simplifications
 
 # Options for lazy bit-blasting