From 9b90e0c784a711dd11c945ba19294e2a4824efe0 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Thu, 29 Jun 2017 10:30:17 +0200
Subject: [PATCH] typo

---
 CHANGELOG.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index efb029b07..e701cd146 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -13,7 +13,7 @@ Version 1.0.x
 - Fix for nested formulae
 - JANI: Explicit engine supports custom model compositions.
 - Storm now overwrites files if asked to write files to a specific location
-- Changes in build process to accomodate for changes in carl. Also, more robust against issues with carl
+- Changes in build process to accommodate for changes in carl. Also, more robust against issues with carl
 - Wellformedness constraints on PMCs:
     * include constraints from rewards
     * are in smtlib2