topdir = ../../../..
srcdir = src/theory/uf/tim

include $(topdir)/Makefile.subdir