From f07fc23367f128692815340e66ece3c8d726240f Mon Sep 17 00:00:00 2001 From: Pierce Darragh Date: Thu, 2 Jul 2020 00:36:24 -0600 Subject: [PATCH] Fix punctuation --- appendix/pwz_driver.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/appendix/pwz_driver.ml b/appendix/pwz_driver.ml index f73ee84..e80d4fd 100644 --- a/appendix/pwz_driver.ml +++ b/appendix/pwz_driver.ml @@ -12,7 +12,7 @@ let init_zipper (e : exp) : zipper = let unwrap_top_zipper ((e', m) : zipper) : exp = match m.parents with | [SeqC ({ parents = [TopC] }, s_bottom, [e; _], [])] -> e - | _ -> failwith "Invalid top zipper" + | _ -> failwith "Invalid top zipper." let parse (ts : tok list) (e : exp) : exp list = let rec parse' (p : pos) (ts : tok list) (z : zipper) : zipper list =