Skip to content

Commit 711ac53

Browse files
jamesmckinnajamesmckinna
authored
fixed sized-types error in orphan module (#2295)
1 parent 953be18 commit 711ac53

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

‎doc/README/Data/Tree/Binary.agda

+1-1
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44
-- Some examples showing how the Binary tree module can be used
55
------------------------------------------------------------------------
66

7-
{-# OPTIONS --cubical-compatible --safe --sized-types #-}
7+
{-# OPTIONS --cubical-compatible --sized-types #-}
88

99
module README.Data.Tree.Binary where
1010

0 commit comments

Comments
 (0)