diff options
author | Dejan Jovanović <dejan@cs.nyu.edu> | 2013-06-06 15:01:21 -0400 |
---|---|---|
committer | Dejan Jovanović <dejan@cs.nyu.edu> | 2013-06-06 15:01:21 -0400 |
commit | 157f15d921a4850d1edd9172091c09a473aaf4d8 (patch) | |
tree | a3ea6542bdfcc57c87e7560ea1faeaca1806d3fa | |
parent | 482167cc10c5df25e107e0b44a24c125f7b18bd2 (diff) |
typo
-rw-r--r-- | src/theory/idl/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
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 |