Remove the hashmap example (which was moved to Charon)

1 files changed, 0 insertions, 5 deletions

diff --git a/examples/misc/src/main.rs b/examples/misc/src/main.rs
deleted file mode 100644
index 4a984052..00000000
--- a/examples/misc/src/main.rs
+++ /dev/null
@@ -1,5 +0,0 @@
-mod hashmap;
-
-use hashmap::HashMap;
-
-fn main() {}