From 10ab293e182a7686fe12d0786f9be832fd523f90 Mon Sep 17 00:00:00 2001
From: Alekos Filini <alekos.filini@gmail.com>
Date: Mon, 14 Sep 2020 14:26:19 +0200
Subject: [PATCH] [cargo] Remove the `magic` alias for `repl`

---
 Cargo.toml | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/Cargo.toml b/Cargo.toml
index 8005ed8e..75aa4496 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -76,12 +76,6 @@ name = "miniscriptc"
 path = "examples/compiler.rs"
 required-features = ["compiler"]
 
-# Provide a more user-friendly alias for the REPL
-[[example]]
-name = "magic"
-path = "examples/repl.rs"
-required-features = ["cli-utils"]
-
 [workspace]
 members = ["macros", "testutils", "testutils-macros"]