From d7737ba9b3a811b8415ce87d8e3e091c9e49d32e Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Mon, 6 Jun 2016 17:08:55 +0200
Subject: Adding an only printing flag to notations.

---
 ide/texmacspp.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'ide')

diff --git a/ide/texmacspp.ml b/ide/texmacspp.ml
index d1d6de9ae8..f445f2e08d 100644
--- a/ide/texmacspp.ml
+++ b/ide/texmacspp.ml
@@ -188,6 +188,7 @@ match sm with
       | LeftA -> ["associativity", "left"]
       end
   | SetEntryType (s, _) -> ["entrytype", s]
+  | SetOnlyPrinting -> ["onlyprinting", ""]
   | SetOnlyParsing v -> ["compat", Flags.pr_version v]
   | SetFormat (system, (loc, s)) ->
       let start, stop = unlock loc in
-- 
cgit v1.2.3