Fix punctuation

pdarragh · Jul 2, 2020 · f07fc23 · f07fc23
1 parent 674de15
commit f07fc23
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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 =