diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2018-10-18 12:11:13 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-10-23 18:53:46 +0300 |
| commit | b29d90795109f0174fe68214089659c85efb1c60 (patch) | |
| tree | a0ecb69035cfc33d44008c48bd5355b1c0318411 | |
| parent | 93e5530db7fc86f165b1a0a2188d17b0078cb981 (diff) | |
| download | klee-b29d90795109f0174fe68214089659c85efb1c60.tar.gz | |
Remove unneeded externs
| -rw-r--r-- | include/klee/ArrayExprOptimizer.h | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/include/klee/ArrayExprOptimizer.h b/include/klee/ArrayExprOptimizer.h index 5c02e44b..88b96573 100644 --- a/include/klee/ArrayExprOptimizer.h +++ b/include/klee/ArrayExprOptimizer.h @@ -53,12 +53,6 @@ enum ArrayOptimizationType { VALUE }; -extern llvm::cl::opt<ArrayOptimizationType> OptimizeArray; - -extern llvm::cl::opt<double> ArrayValueRatio; - -extern llvm::cl::opt<double> ArrayValueSymbRatio; - class Expr; template <class T> class ref; typedef std::map<const Array *, std::vector<ref<Expr>>> array2idx_ty; |