Rename

gussmith23 · Feb 19, 2024 · be9b326 · be9b326
1 parent d4cc221
commit be9b326
Show file tree

Hide file tree

Showing 6 changed files with 5 additions and 5 deletions.
diff --git a/egglog_src/lakeroad.egg → egglog_src/churchroad.egg b/egglog_src/lakeroad.egg → egglog_src/churchroad.egg
diff --git a/src/lib.rs b/src/lib.rs
@@ -222,7 +222,7 @@ pub fn import_churchroad(egraph: &mut EGraph) {
     egraph
         .parse_and_run_program(
             r#"
-(include "egglog_src/lakeroad.egg")
+(include "egglog_src/churchroad.egg")
     "#,
         )
         .unwrap();

diff --git a/tests/egglog_tests/agilex_alm.egg b/tests/egglog_tests/agilex_alm.egg
@@ -1,5 +1,5 @@
 ; Handled by calling churchroad::import_churchroad(&mut egraph) in the macro.
-; (include "egglog_src/lakeroad.egg")
+; (include "egglog_src/churchroad.egg")
 
 ; wire declarations
 ; a

diff --git a/tests/egglog_tests/construct_sequential_cycle.egg b/tests/egglog_tests/construct_sequential_cycle.egg
@@ -1,5 +1,5 @@
 ; Handled by calling churchroad::import_churchroad(&mut egraph) in the macro.
-; (include "egglog_src/lakeroad.egg")
+; (include "egglog_src/churchroad.egg")
 
 ; CONSTRUCTING GRAPHS
 ;

diff --git a/tests/egglog_tests/half_adder.egg b/tests/egglog_tests/half_adder.egg
@@ -1,5 +1,5 @@
 ; Handled by calling churchroad::import_churchroad(&mut egraph) in the macro.
-; (include "egglog_src/lakeroad.egg")
+; (include "egglog_src/churchroad.egg")
 
 ; wire declarations
 ; $and$half-adder.v:17$2_Y

diff --git a/tests/egglog_tests/typing.egg b/tests/egglog_tests/typing.egg
@@ -1,5 +1,5 @@
 ; Handled by calling churchroad::import_churchroad(&mut egraph) in the macro.
-; (include "egglog_src/lakeroad.egg")
+; (include "egglog_src/churchroad.egg")
 
 (let clk (Var "clk" 1))
 (let a (Var "a" 8))