From 85c4f981d7c7328810b8b76b00c617803e2e0f17 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 9 Feb 2022 02:01:49 +0100
Subject: Remove the hashmap example (which was moved to Charon)

---
 examples/misc/Makefile | 15 ---------------
 1 file changed, 15 deletions(-)
 delete mode 100644 examples/misc/Makefile

(limited to 'examples/misc/Makefile')

diff --git a/examples/misc/Makefile b/examples/misc/Makefile
deleted file mode 100644
index a8e3fbc6..00000000
--- a/examples/misc/Makefile
+++ /dev/null
@@ -1,15 +0,0 @@
-CHARON_HOME=../../../charon/charon
-
-all: build test translate
-
-.PHONY: build
-build:
-	cargo build
-
-.PHONY: test
-test:
-	cargo test
-
-.PHONY: translate
-translate:
-	cd $(CHARON_HOME) && cargo run ../../aeneas/examples/misc/src/hashmap.rs
-- 
cgit v1.2.3