From 2d8cc1681cf40fb6b45e3fb5c7beb03e26e78551 Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Tue, 12 Dec 2017 14:37:22 +0100 Subject: [PATCH] Fixed indentation --- doc/checklist_new_release.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/checklist_new_release.md b/doc/checklist_new_release.md index a0462b5d8..5fda82ab5 100644 --- a/doc/checklist_new_release.md +++ b/doc/checklist_new_release.md @@ -8,8 +8,8 @@ Note that in most case a simultaneous release of [carl](https://github.com/smtra ``` 2. Update used carl version: - * Update `GIT_TAG` in `resources/3rdparty/carl/CMakeLists.txt` - * Maybe update `CARL_MINVERSION` in `resources/3rdparty/CMakeLists.txt` + * Update `GIT_TAG` in `resources/3rdparty/carl/CMakeLists.txt` + * Maybe update `CARL_MINVERSION` in `resources/3rdparty/CMakeLists.txt` 3. Check that storm builds without errors and all tests are successful * [Travis](https://travis-ci.org/moves-rwth/storm) should run successfully