From 813f645a9c2b0d47e996b90259ce7a15ad3ec961 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sat, 3 Jul 2021 17:42:19 -0400 Subject: [PATCH] refactor: rename sidekick-base-term to sidekick-base --- src/{base-term => base}/Base_types.ml | 0 src/{base-term => base}/CCHet.ml | 0 src/{base-term => base}/CCHet.mli | 0 src/{base-term => base}/Config.ml | 0 src/{base-term => base}/Config.mli | 0 src/{base-term => base}/Hashcons.ml | 0 src/{base-term => base}/ID.ml | 0 src/{base-term => base}/ID.mli | 0 src/{base-term => base}/Model.ml | 0 src/{base-term => base}/Model.mli | 0 src/{base-term => base}/Proof.ml | 0 src/{base-term => base}/Proof.mli | 0 src/{base-term/Sidekick_base_term.ml => base/Sidekick_base.ml} | 0 src/{base-term => base}/dune | 0 14 files changed, 0 insertions(+), 0 deletions(-) rename src/{base-term => base}/Base_types.ml (100%) rename src/{base-term => base}/CCHet.ml (100%) rename src/{base-term => base}/CCHet.mli (100%) rename src/{base-term => base}/Config.ml (100%) rename src/{base-term => base}/Config.mli (100%) rename src/{base-term => base}/Hashcons.ml (100%) rename src/{base-term => base}/ID.ml (100%) rename src/{base-term => base}/ID.mli (100%) rename src/{base-term => base}/Model.ml (100%) rename src/{base-term => base}/Model.mli (100%) rename src/{base-term => base}/Proof.ml (100%) rename src/{base-term => base}/Proof.mli (100%) rename src/{base-term/Sidekick_base_term.ml => base/Sidekick_base.ml} (100%) rename src/{base-term => base}/dune (100%) diff --git a/src/base-term/Base_types.ml b/src/base/Base_types.ml similarity index 100% rename from src/base-term/Base_types.ml rename to src/base/Base_types.ml diff --git a/src/base-term/CCHet.ml b/src/base/CCHet.ml similarity index 100% rename from src/base-term/CCHet.ml rename to src/base/CCHet.ml diff --git a/src/base-term/CCHet.mli b/src/base/CCHet.mli similarity index 100% rename from src/base-term/CCHet.mli rename to src/base/CCHet.mli diff --git a/src/base-term/Config.ml b/src/base/Config.ml similarity index 100% rename from src/base-term/Config.ml rename to src/base/Config.ml diff --git a/src/base-term/Config.mli b/src/base/Config.mli similarity index 100% rename from src/base-term/Config.mli rename to src/base/Config.mli diff --git a/src/base-term/Hashcons.ml b/src/base/Hashcons.ml similarity index 100% rename from src/base-term/Hashcons.ml rename to src/base/Hashcons.ml diff --git a/src/base-term/ID.ml b/src/base/ID.ml similarity index 100% rename from src/base-term/ID.ml rename to src/base/ID.ml diff --git a/src/base-term/ID.mli b/src/base/ID.mli similarity index 100% rename from src/base-term/ID.mli rename to src/base/ID.mli diff --git a/src/base-term/Model.ml b/src/base/Model.ml similarity index 100% rename from src/base-term/Model.ml rename to src/base/Model.ml diff --git a/src/base-term/Model.mli b/src/base/Model.mli similarity index 100% rename from src/base-term/Model.mli rename to src/base/Model.mli diff --git a/src/base-term/Proof.ml b/src/base/Proof.ml similarity index 100% rename from src/base-term/Proof.ml rename to src/base/Proof.ml diff --git a/src/base-term/Proof.mli b/src/base/Proof.mli similarity index 100% rename from src/base-term/Proof.mli rename to src/base/Proof.mli diff --git a/src/base-term/Sidekick_base_term.ml b/src/base/Sidekick_base.ml similarity index 100% rename from src/base-term/Sidekick_base_term.ml rename to src/base/Sidekick_base.ml diff --git a/src/base-term/dune b/src/base/dune similarity index 100% rename from src/base-term/dune rename to src/base/dune