Fixed broken microkernel slide.

Author: applebyter

slides/microkernel/main.tex

@@ -132,8 +132,8 @@ \section{Microkernel Architecture}
 The only dependency on the core system is through the plug-in interface.}
 
 
-\de
-finition{Standard Interface Principle}{There should be a single interface that defines how the core system uses plug-ins.}
+\definition{Standard Interface Principle}{There should be a single interface that defines how the core system uses plug-ins.}
+
 
 \questionanswer{Does a plug-in architecture equate to a microkernel architecture?}{What about \highlight{IntelliJ}?}
 \note{Not really a microkernel, just a large IDE that allows plug-ins}