diff --git a/scattered_function_doc.sail b/scattered_function_doc.sail
deleted file mode 100644
index 1240b5de0..000000000
--- a/scattered_function_doc.sail
+++ /dev/null
@@ -1,11 +0,0 @@
-default Order dec
-
-val foo : int -> unit
-
-scattered function foo
-
-/*! First clause doc comment */
-function clause foo(0) = ()
-
-/*! Second clause doc comment */
-function clause foo(_) = ()