projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 482167c)
typo
authorDejan Jovanović <dejan@cs.nyu.edu>
Thu, 6 Jun 2013 19:01:21 +0000 (15:01 -0400)
committerDejan Jovanović <dejan@cs.nyu.edu>
Thu, 6 Jun 2013 19:01:21 +0000 (15:01 -0400)
src/theory/idl/Makefile patch | blob | history

diff --git a/src/theory/idl/Makefile b/src/theory/idl/Makefile
index 7c57f81ef39b3b712945acdbb7b8b5a6f8677921..75ae33c7eab679cfe2bef1b8a62e198849ed2843 100644 (file)
--- 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