--- a/NEWS Mon Sep 11 18:36:13 2017 +0200
+++ b/NEWS Mon Sep 11 17:55:42 2017 +0200
@@ -116,7 +116,7 @@
* Deleting the last code equations for a particular function using
[code del] results in function with no equations (runtime abort) rather
than an unimplemented function (generation time abort). Use explicit
-[[code drop:]] to enforce the latter. Minor INCOMPATIBILTIY.
+[[code drop:]] to enforce the latter. Minor INCOMPATIBILITY.
* Proper concept of code declarations in code.ML:
- Regular code declarations act only on the global theory level, being