Commit fb501c7f authored by Lovis J.I. Zenz's avatar Lovis J.I. Zenz
Browse files

added fusion.ml to GDSL_RREIL_HL in Makefile_arm7

parent c898171f
......@@ -32,7 +32,8 @@ GDSL_RREIL_HL = \
specifications/rreil/forward-subst/forward-subst/inline.ml \
specifications/rreil/forward-subst/forward-subst/substitute.ml \
specifications/rreil/forward-subst/forward-subst/substmap.ml \
specifications/rreil/forward-subst/forward-subst/simplify-expressions.ml
specifications/rreil/forward-subst/forward-subst/simplify-expressions.ml \
specifications/rreil/fusion/fusion.ml
GDSL_ASM_HL=specifications/asm/asm.ml specifications/asm/asm-pretty.ml specifications/asm/asm-cif.ml
......
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