From 6edbc52171e812be59625ecf6bc1fee94c71456f Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Wed, 9 Aug 2017 15:26:14 +0200 Subject: [PATCH] Removed remark to non-existing make command in README --- README.md | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/README.md b/README.md index a40a349f8..92214ca57 100644 --- a/README.md +++ b/README.md @@ -8,8 +8,7 @@ Benchmarks ---------------------------- Example input files for Storm can be obtained from -https://github.com/moves-rwth/storm-examples. -Running `make example-files` automatically obtains these files. +https://github.com/moves-rwth/storm-examples. Further examples and benchmarks can be found in the following repositories: