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/pluginsbyte.itarget | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'plugins/pluginsbyte.itarget')

diff --git a/plugins/pluginsbyte.itarget b/plugins/pluginsbyte.itarget
index d8752f8b80..f3b2b5a3ea 100644
--- a/plugins/pluginsbyte.itarget
+++ b/plugins/pluginsbyte.itarget
@@ -18,4 +18,5 @@ syntax/r_syntax_plugin.cma
 syntax/string_syntax_plugin.cma
 syntax/z_syntax_plugin.cma
 quote/quote_plugin.cma
-derive/derive_plugin.cma
\ No newline at end of file
+derive/derive_plugin.cma
+ssrmatching/ssrmatching_plugin.cma
-- 
cgit v1.2.3