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

(limited to 'plugins/pluginsdyn.itarget')

diff --git a/plugins/pluginsdyn.itarget b/plugins/pluginsdyn.itarget
index 220e5182d9..aabd0e56de 100644
--- a/plugins/pluginsdyn.itarget
+++ b/plugins/pluginsdyn.itarget
@@ -22,3 +22,4 @@ syntax/string_syntax_plugin.cmxs
 syntax/z_syntax_plugin.cmxs
 quote/quote_plugin.cmxs
 derive/derive_plugin.cmxs
+ssrmatching/ssrmatching_plugin.cmxs
-- 
cgit v1.2.3