From 6c510a0d145d41e7250f121bfd01e0251e41af2c Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Wed, 2 Mar 2016 20:45:18 +0100
Subject: Ssreflect pattern matching facilities

---
 plugins/pluginsvo.itarget | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'plugins/pluginsvo.itarget')

diff --git a/plugins/pluginsvo.itarget b/plugins/pluginsvo.itarget
index a59bf29c98..74b8d5e03a 100644
--- a/plugins/pluginsvo.itarget
+++ b/plugins/pluginsvo.itarget
@@ -9,4 +9,5 @@ romega/vo.otarget
 rtauto/vo.otarget
 setoid_ring/vo.otarget
 extraction/vo.otarget
-derive/vo.otarget
\ No newline at end of file
+derive/vo.otarget
+ssrmatching/vo.otarget
-- 
cgit v1.2.3