trigger build

cos · cos · commit 346d30f85d07 · 2016-01-29T15:50:37.000-06:00
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -77,6 +77,7 @@ A more detailed description of parsing with K4 can be found at: [Regex Language]
  - K 4.0 no longer has support for automatically generating documentation, i.e., `kdoc`. Support
    will be added soon to the `master` branch and will be included in K 4.1.
 
+
 # K Framework 3.6 #
 
 ## General ##
