Commit fc3a0752 authored by MARCHE Claude's avatar MARCHE Claude
Browse files

fix extraction/compilation of defunctionalzaition example

parent 2d1e399b
......@@ -16,6 +16,11 @@ endif
include $(WHY3SHARE)/Makefile.config
ifeq ($(BENCH),yes)
INCLUDE += -I ../../lib/why3
MAIN = main
OBJ = defunctionalization__Expr \
defunctionalization__DirectSem \
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment