From 157f15d921a4850d1edd9172091c09a473aaf4d8 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Dejan=20Jovanovi=C4=87?= <dejan@cs.nyu.edu>
Date: Thu, 6 Jun 2013 15:01:21 -0400
Subject: [PATCH] typo

---
 src/theory/idl/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
2.30.2