From f738d5c14d28bb8d1e180b6cf234cbbb203c2e2d Mon Sep 17 00:00:00 2001 From: Gabriel Ebner Date: Mon, 16 Dec 2024 16:12:38 -0800 Subject: [PATCH] Remove stale hints. --- ulib/.hints/FStar.Ghost.Pull.fsti.hints | 1 - 1 file changed, 1 deletion(-) delete mode 100644 ulib/.hints/FStar.Ghost.Pull.fsti.hints diff --git a/ulib/.hints/FStar.Ghost.Pull.fsti.hints b/ulib/.hints/FStar.Ghost.Pull.fsti.hints deleted file mode 100644 index 46e84f430d5..00000000000 --- a/ulib/.hints/FStar.Ghost.Pull.fsti.hints +++ /dev/null @@ -1 +0,0 @@ -[ "\\=O?u\u000e!k}\u000b", [] ] \ No newline at end of file