From 8217b279ef55b3c32e792b9683a75f2ce0cfad29 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong <alasdair.armstrong@cl.cam.ac.uk>
Date: Sat, 11 Nov 2023 15:52:11 +0000
Subject: [PATCH] Delete unnecessary file in root

---
 scattered_function_doc.sail | 11 -----------
 1 file changed, 11 deletions(-)
 delete mode 100644 scattered_function_doc.sail

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(_) = ()