Added layouttranslations handling to cmake build

[features.git] / lib / layouttranslations

diff --git a/lib/layouttranslations b/lib/layouttranslations
index 7edd76fc30e9a68785f10d6e628f9eabc7af1217..c98e1ada8d11d7d62b9618cd6ef176c5070d17df 100644 (file)
--- a/lib/layouttranslations
+++ b/lib/layouttranslations
@@ -1234,8 +1234,8 @@ Translation sk
        "Claim" "Nárok"
        "Conclusion" "Záver"
        "Condition" "Podmienka"
-       "Conjecture" "Dohad"
-       "Corollary" "Corollary"
+       "Conjecture" "Hypotéza"
+       "Corollary" "Korolár"
        "Criterion" "Kritérium"
        "Definition" "Definícia"
        "Example" "Príklad"