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/pluginsopt.itarget | 1 +
 1 file changed, 1 insertion(+)

(limited to 'plugins/pluginsopt.itarget')

diff --git a/plugins/pluginsopt.itarget b/plugins/pluginsopt.itarget
index 04a1e711cb..5e8e6cc9a7 100644
--- a/plugins/pluginsopt.itarget
+++ b/plugins/pluginsopt.itarget
@@ -19,3 +19,4 @@ syntax/string_syntax_plugin.cmxa
 syntax/z_syntax_plugin.cmxa
 quote/quote_plugin.cmxa
 derive/derive_plugin.cmxa
+ssrmatching/ssrmatching_plugin.cmxa
-- 
cgit v1.2.3