smaller update

[proglang.git] / documentation

diff --git a/documentation b/documentation
index c3ac4e08ba815c574432d3e2f0905cf120a460e1..fd4664dac04d54fd6b6dcd63704cf8532714b799 100644 (file)
--- a/documentation
+++ b/documentation
@@ -9,7 +9,7 @@ Typecheck.hs: Contains the type-checking functions typeCheckExp, typeCheckVar an
 Abssyntax.hs, Parsyntax.y, Lexsyntax.x,ErrM.hs,Printsyntax.hs,Skelsyntax.hs: The files generated by bnfc, only modification is the removal of the Bool type in Abssyntx.hs so haskell's internal type can be used.
 
 
-typing rules
+semantic rules
 ++++++++++++