From c521d281e38cc53d6b6b7d790c79c19d3cb7bcbe Mon Sep 17 00:00:00 2001
From: Abdelrahman Aly Abounegm <abounegm.abdelrahman@gmail.com>
Date: Sat, 9 Dec 2023 11:05:18 +0000
Subject: [PATCH] Fix example file formatting

---
 example/1-example.rzk.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/example/1-example.rzk.md b/example/1-example.rzk.md
index 3aa3a99..693c1f7 100644
--- a/example/1-example.rzk.md
+++ b/example/1-example.rzk.md
@@ -8,7 +8,7 @@ Here's a sample definition to typecheck:
 
 ```rzk
 #define modus-ponens
-  (A B : U)
-  : (A → B) → A → B
+  ( A B : U)
+  : ( A → B) → A → B
   := \ f x → f x
 ```