From 84accdaea3ce094cc5d0232107d3e2ea654a76c2 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Mon, 18 Sep 2017 13:27:20 +0200
Subject: Remove STM vernaculars.

---
 printing/ppvernac.ml | 6 ------
 1 file changed, 6 deletions(-)

(limited to 'printing')

diff --git a/printing/ppvernac.ml b/printing/ppvernac.ml
index 5e57f5de03..51c3eb2129 100644
--- a/printing/ppvernac.ml
+++ b/printing/ppvernac.ml
@@ -524,12 +524,6 @@ open Decl_kinds
       | VernacLocal (local, v) ->
         return (pr_locality local ++ spc() ++ pr_vernac_body v)
 
-      (* Stm *)
-      | VernacStm JoinDocument ->
-        return (keyword "Stm JoinDocument")
-      | VernacStm Wait ->
-        return (keyword "Stm Wait")
-
       (* Proof management *)
       | VernacAbortAll ->
         return (keyword "Abort All")
-- 
cgit v1.2.3