FSTAR_HOME=../..
include ../Makefile.include

all: uall

uall:
	$(FSTAR) 2015/Problem01.fst
