diff options
| -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 |