# HG changeset patch
# User wenzelm
# Date 1444672049 -7200
# Node ID 289b92ddb57ccea9161f2e468e988e9ff7bc5c05
# Parent  f569907de06170e56225c69d08accfa108be6b04
spelling;

diff -r f569907de061 -r 289b92ddb57c src/Doc/Classes/Classes.thy
--- a/src/Doc/Classes/Classes.thy	Mon Oct 12 19:47:23 2015 +0200
+++ b/src/Doc/Classes/Classes.thy	Mon Oct 12 19:47:29 2015 +0200
@@ -607,7 +607,7 @@
 
 
 text {*
-  \noindent In Scala, implicts are used as dictionaries:
+  \noindent In Scala, implicits are used as dictionaries:
 *}
 text %quotetypewriter {*
   @{code_stmts example (Scala)}