Merge pull request #119 from hurak/master

Minor typo correction in a message returned by hinfassumption.

Author: baggepinnen

src/hinfinity_design.jl

@@ -71,7 +71,7 @@ function hinfassumptions(P::ExtendedStateSpace; verbose = true)
     end
 
     # All assumptions have passed, and we may proceed with the synthesis
-    verbose && println("All assumtions are satisfied!")
+    verbose && println("All assumptions are satisfied!")
     return true
 end