1 files changed, 0 insertions, 1 deletions
diff --git a/demo/listFun.urs b/demo/listFun.urs
index ce4acafc..8fd6eb0d 100644
--- a/demo/listFun.urs
+++ b/demo/listFun.urs
@@ -3,4 +3,3 @@ functor Make(M : sig
              end) : sig
     val main : unit -> transaction page
 end
-