From 152b259b7b587ea949dd856b24beaf56466f3f27 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Mon, 5 Dec 2016 16:32:26 +0100
Subject: Fixing a precedence issue in type parameters.

---
 vo.itarget | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'vo.itarget')

diff --git a/vo.itarget b/vo.itarget
index 776404ad79..5777585681 100644
--- a/vo.itarget
+++ b/vo.itarget
@@ -1 +1,8 @@
+Init.vo
+Int.vo
+String.vo
+Array.vo
+Control.vo
+Message.vo
+Constr.vo
 Ltac2.vo
-- 
cgit v1.2.3