From a179ee3239953b90df67fd1f9142530c4d674655 Mon Sep 17 00:00:00 2001 From: Jocelyn Fiat Date: Wed, 13 Jan 2016 10:38:27 +0100 Subject: [PATCH] Reverted executable name to "demo" --- examples/demo/demo-safe.ecf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/examples/demo/demo-safe.ecf b/examples/demo/demo-safe.ecf index 587b741..12dc3a7 100644 --- a/examples/demo/demo-safe.ecf +++ b/examples/demo/demo-safe.ecf @@ -11,7 +11,7 @@ - +