RUN += SimplePrintf.fst

FSTAR_ROOT ?= ../..
include $(FSTAR_ROOT)/mk/test.mk
