From 5057257e403effd753da5197d8dac0a6cc6f8bf3 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sun, 2 Dec 2012 13:18:33 -0800 Subject: [PATCH] removed unnecessary README Signed-off-by: Leonardo de Moura --- src/smt/params/README | 9 --------- 1 file changed, 9 deletions(-) delete mode 100644 src/smt/params/README diff --git a/src/smt/params/README b/src/smt/params/README deleted file mode 100644 index 1ab0a2463..000000000 --- a/src/smt/params/README +++ /dev/null @@ -1,9 +0,0 @@ -This directory contains the "remains" of the old parameter setting -infrastructure used by Z3. Old code (mostly `smt::context`) is still -based on the front_end_params structure. However, we removed support -for the old INI file infrastructure. Instead, we have functions for -setting the fields of front_end_params using parameter sets -(params_ref). Moreover, many of the parameters in front_end_params -are now "hidden". That is, they can't be set from the command line or -using the command `set-option`. -