From 76ab70a9e1d47617306b37aac8a608a39824a7c2 Mon Sep 17 00:00:00 2001
From: Guido Tack <guido.tack@monash.edu>
Date: Thu, 7 Nov 2024 17:35:35 +1100
Subject: [PATCH] Fix hyphenation of MiniZinc and FlatZinc in PDF
 documentation. Fixes #852.

---
 docs/utils/mznstyle.sty | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/docs/utils/mznstyle.sty b/docs/utils/mznstyle.sty
index 96d47707b..d0ac84b19 100644
--- a/docs/utils/mznstyle.sty
+++ b/docs/utils/mznstyle.sty
@@ -100,3 +100,7 @@
 
 \def\theliteralblock{\arabic{part}.\arabic{chapter}.\arabic{literalblock}}
 \def\thefigure{\arabic{part}.\arabic{chapter}.\arabic{figure}}
+
+\RequirePackage{hyphenat}
+\hyphenation{MiniZinc}
+\hyphenation{FlatZinc}