# HG changeset patch
# User haftmann
# Date 1505145342 -7200
# Node ID ec78c84bfc44039d63b35c5bc865a2b4a7b44aff
# Parent  91fc9816a86f11b2b20dfe34721a38f573be6e06
spelling

diff -r 91fc9816a86f -r ec78c84bfc44 NEWS
--- 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