diff --git a/crates/aiken-lang/src/parser/definition/snapshots/fallback.snap b/crates/aiken-lang/src/parser/definition/snapshots/fallback.snap
index ba40d3b7..767b9e8a 100644
--- a/crates/aiken-lang/src/parser/definition/snapshots/fallback.snap
+++ b/crates/aiken-lang/src/parser/definition/snapshots/fallback.snap
@@ -129,7 +129,7 @@ Validator(
             },
             doc: None,
             location: 103..106,
-            name: "temp",
+            name: "else",
             public: true,
             return_annotation: None,
             return_type: (),
diff --git a/crates/aiken-lang/src/parser/definition/validator.rs b/crates/aiken-lang/src/parser/definition/validator.rs
index d2a951b5..ea089369 100644
--- a/crates/aiken-lang/src/parser/definition/validator.rs
+++ b/crates/aiken-lang/src/parser/definition/validator.rs
@@ -29,7 +29,15 @@ pub fn parser() -> impl Parser<Token, ast::UntypedDefinition, Error = ParseError
                     function
                 })
                 .repeated()
-                .then(just(Token::Else).ignore_then(args_and_body()).or_not())
+                .then(
+                    just(Token::Else)
+                        .ignore_then(args_and_body().map(|mut function| {
+                            function.name = "else".to_string();
+
+                            function
+                        }))
+                        .or_not(),
+                )
                 .delimited_by(just(Token::LeftBrace), just(Token::RightBrace)),
         )
         .map_with_span(
diff --git a/crates/aiken-lang/src/parser/utils.rs b/crates/aiken-lang/src/parser/utils.rs
index 49016fd3..7849e651 100644
--- a/crates/aiken-lang/src/parser/utils.rs
+++ b/crates/aiken-lang/src/parser/utils.rs
@@ -175,6 +175,6 @@ macro_rules! assert_format {
         let (module2, extra2) = $crate::parser::module(&out, $crate::ast::ModuleKind::Lib).unwrap();
         let mut out2 = String::new();
         $crate::format::pretty(&mut out2, module2, extra2, &out);
-        assert_eq!(out, out2, "formatting isn't idempotent");
+        pretty_assertions::assert_eq!(out, out2, "formatting isn't idempotent");
     };
 }