Fix typo in initial Hazel example code (#1506)

hazelgrove · Feb 15, 2025 · 4dab292 · 4dab292
2 parents 29b7b72 + a62c019
commit 4dab292
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/src/haz3lweb/Init.ml b/src/haz3lweb/Init.ml
diff --git a/test/Test_Menhir.re b/test/Test_Menhir.re
@@ -543,7 +543,7 @@ let comparison =
 in
 
 let float: Float = 0.1 in
-let artihmetic = 0. *. 1. +. 2. /. 3. -. 4. **. 5. in
+let arithmetic = 0. *. 1. +. 2. /. 3. -. 4. **. 5. in
 let comparison =
   (0. ==. 0., 0. <. 1., 1. <=. 1., 2. >. 1., 1. >=. 1.)
 in