update clap

Cargo.toml

@@ -19,7 +19,8 @@ libm = "0.2.1"
 float-cmp = "0.8.0"
 lazy_static = "1.4.0"
 itertools = "0.9.0"
-clap = "3.0.0-beta.2"
+clap = { version = "3.0.7", features = ["derive"] }
+#clap = "3.0.0-beta.2"
 z3 = {version="0.10.0", features = ["static-link-z3"]}
 # z3 = {version="0.10.0"}
 rustc-hash = "1"

src/lib.rs

@@ -5,7 +5,7 @@ It uses equality saturation in two novel ways to scale the rule synthesis:
    currently in the ruleset.
 
 !*/
-use clap::Clap;
+use clap::Parser;
 use egg::*;
 use rand::SeedableRng;
 use rand_pcg::Pcg64;
@@ -633,7 +633,7 @@ struct SlimReport<L: SynthLanguage> {
 }
 
 /// All parameters for rule synthesis.
-#[derive(Clap, Deserialize, Serialize)]
+#[derive(Parser, Deserialize, Serialize)]
 #[clap(rename_all = "kebab-case")]
 pub struct SynthParams {
     /// Seed for random number generator, used for random cvec value generation
@@ -723,7 +723,7 @@ pub struct SynthParams {
 }
 
 /// Derivability report.
-#[derive(Clap)]
+#[derive(Parser)]
 #[clap(rename_all = "kebab-case")]
 pub struct DeriveParams {
     in1: String,
@@ -734,7 +734,7 @@ pub struct DeriveParams {
 }
 
 /// Report for rules generated by CVC4. 
-#[derive(Clap)]
+#[derive(Parser)]
 #[clap(rename_all = "kebab-case")]
 pub struct ConvertParams {
     cvc_log: String,
@@ -743,7 +743,7 @@ pub struct ConvertParams {
 
 /// Ruler can be run to synthesize rules, compare two rulesets
 /// for derivability, and convert CVC4 rewrites to patterns in Ruler.
-#[derive(Clap)]
+#[derive(Parser)]
 #[clap(rename_all = "kebab-case")]
 pub enum Command {
     Synth(SynthParams),