Update README.md (#180)

egraphs-good · Aug 9, 2023 · de31786 · de31786
1 parent 6be4a2e
commit de31786
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -185,7 +185,6 @@ Desugars to:
 (function path (i64 i64) Unit)
 (function edge (i64 i64) Unit)
 ```
-```
 
 Define a `path` and an `edge` relation between two `i64`s.