newline
diff --git a/examples/example.w b/examples/example.w --- a/examples/example.w +++ b/examples/example.w @@ -55,4 +55,5 @@ let let : : a b -. a \ No newline at end of file +. a +