From: Dejan Jovanović <dejan@cs.nyu.edu>
Date: Thu, 6 Jun 2013 19:01:21 +0000 (-0400)
Subject: typo
X-Git-Tag: cvc5-1.0.0~7287^2~106
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=157f15d921a4850d1edd9172091c09a473aaf4d8;p=cvc5.git

typo
---

diff --git a/src/theory/idl/Makefile b/src/theory/idl/Makefile
index 7c57f81ef..75ae33c7e 100644
--- a/src/theory/idl/Makefile
+++ b/src/theory/idl/Makefile
@@ -1,4 +1,4 @@
 topdir = ../../..
-srcdir = src/theory/rdl
+srcdir = src/theory/idl
 
 include $(topdir)/Makefile.subdir