diff --git a/Cargo.lock b/Cargo.lock
index 10c36b2..e13543d 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -3,7 +3,7 @@
 version = 4
 
 [[package]]
-name = "circuit-polynomial"
+name = "circuit-cas"
 version = "0.1.0"
 dependencies = [
  "itertools",
diff --git a/src/bin/flat.rs b/src/bin/flat.rs
index 0edbac9..8c7b3f5 100644
--- a/src/bin/flat.rs
+++ b/src/bin/flat.rs
@@ -1,5 +1,5 @@
-use circuit_polynomial::poly::flat;
-use circuit_polynomial::var;
+use circuit_cas::poly::flat;
+use circuit_cas::var;
 
 fn main() {
     let poly = (2
diff --git a/src/poly/var.rs b/src/poly/var.rs
index 2359e95..eaa57d4 100644
--- a/src/poly/var.rs
+++ b/src/poly/var.rs
@@ -52,12 +52,12 @@ impl From<(&'static str, u32, u32)> for StaticVar {
 #[macro_export]
 macro_rules! var {
     ($name:expr) => {
-        ::circuit_polynomial::poly::var::StaticVar::from($name)
+        ::circuit_cas::poly::var::StaticVar::from($name)
     };
     ($name:expr, $idx1:expr) => {
-        ::circuit_polynomial::poly::var::StaticVar::from(($name, $idx1))
+        ::circuit_cas::poly::var::StaticVar::from(($name, $idx1))
     };
     ($name:expr, $idx1:expr, $idx2:expr) => {
-        ::circuit_polynomial::poly::var::StaticVar::from(($name, $idx1, $idx2))
+        ::circuit_cas::poly::var::StaticVar::from(($name, $idx1, $idx2))
     };
 }