diff --git a/simple.program b/simple.leo similarity index 100% rename from simple.program rename to simple.leo diff --git a/simple_import.program b/simple_import.leo similarity index 100% rename from simple_import.program rename to simple_import.leo diff --git a/src/aleo_program/imports.rs b/src/aleo_program/imports.rs index 4688a0815c..49020fac9f 100644 --- a/src/aleo_program/imports.rs +++ b/src/aleo_program/imports.rs @@ -47,7 +47,7 @@ impl<'ast> Import<'ast> { pub fn get_file(&self) -> String { let path = self.get_source().to_str().unwrap(); - format!("{}.program", path) + format!("{}.leo", path) } } diff --git a/src/lib.rs b/src/lib.rs index b63467e415..1d21faa056 100644 --- a/src/lib.rs +++ b/src/lib.rs @@ -12,5 +12,3 @@ extern crate lazy_static; pub mod ast; pub mod aleo_program; - -// pub mod zokrates_program; diff --git a/src/main.rs b/src/main.rs index e1f20ddbf0..f4eb6d7ed2 100644 --- a/src/main.rs +++ b/src/main.rs @@ -38,7 +38,7 @@ impl ConstraintSynthesizer for Benchmark { cs: &mut CS, ) -> Result<(), SynthesisError> { // Read in file as string - let unparsed_file = fs::read_to_string("simple.program").expect("cannot read file"); + let unparsed_file = fs::read_to_string("simple.leo").expect("cannot read file"); // Parse the file using langauge.pest let mut file = ast::parse(&unparsed_file).expect("unsuccessful parse");