X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=Utils%2FMetapost.tex;h=7caa6e0275c53ab2d20413697e18e8c42151fd65;hp=6d00ae47ca901d393b16de523de9d376f8d95833;hb=04787b97e28a61c0e96ae9c3670c47c6bb1c881e;hpb=dadae33d89b183cb9aab04b4a82dab53c4cf2ce4

diff --git a/Utils/Metapost.tex b/Utils/Metapost.tex
index 6d00ae4..7caa6e0 100644
--- a/Utils/Metapost.tex
+++ b/Utils/Metapost.tex
@@ -95,3 +95,9 @@ setObjectDefaultOption("Reg")("reflect")(false);
 setObjectDefaultOption("Reg")("labels")(false);
 
 \stopMPinclusions
+
+% Make \overrightarrow "unexpanded", to make it work within metapost.
+% http://www.ntg.nl/pipermail/ntg-context/2009/043620.html. Will be fixed in
+% context.
+\let\normaloverrightarrow\overrightarrow                                                                                                                     
+\unexpanded\def\overrightarrow{\normaloverrightarrow}