Master uncompilable on cygwin

[Enrico Forestieri]

On Sat, Mar 05, 2022 at 03:00:08AM +0100, Thibaut Cuvelier wrote:
> 
> What I don't get is why casting one value is easy, but a vector is not...
> What about adding a manual cast around this line?
> 
> std::vector<docstring> mathCommands() const { return math_commands_; }

The attached patch works for me.

-- 
Enrico
-------------- next part --------------
diff --git a/src/Encoding.h b/src/Encoding.h
index 6016f05f02..2b84417556 100644
--- a/src/Encoding.h
+++ b/src/Encoding.h
@@ -113,10 +113,10 @@ public:
 private:
 	/// LaTeX commands (text mode) for this character. The first one is the default, the others
 	/// are only present for compatibility other ways users may encode the character
-	std::vector<trivdocstring> text_commands_;
+	std::vector<docstring> text_commands_;
 	/// LaTeX command (math mode) for this character. The first one is the default, the others
 	//	/// are only present for compatibility other ways users may encode the character
-	std::vector<trivdocstring> math_commands_;
+	std::vector<docstring> math_commands_;
 	/// Needed LaTeX preamble (or feature) for text mode
 	trivstring text_preamble_;
 	/// Needed LaTeX preamble (or feature) for math mode