From a478947e33bcca34291ec36487876443a694c6bf Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Mon, 14 Sep 2015 17:46:52 -0400
Subject: Add compatibility files (feature 4319)

---
 theories/theories.itarget | 1 +
 1 file changed, 1 insertion(+)

(limited to 'theories/theories.itarget')

diff --git a/theories/theories.itarget b/theories/theories.itarget
index 4519070e4..b7de41641 100644
--- a/theories/theories.itarget
+++ b/theories/theories.itarget
@@ -1,6 +1,7 @@
 Arith/vo.otarget
 Bool/vo.otarget
 Classes/vo.otarget
+Compat/vo.otarget
 FSets/vo.otarget
 MSets/vo.otarget
 MMaps/vo.otarget
-- 
cgit v1.2.3