mppa_k1c/Asmaux.v


1
2
3
4
5

Require Import Asm.
Require Import AST.

(** Constant only needed by Asmexpandaux.ml *)
Program Definition dummy_function := {| fn_code := nil; fn_sig := signature_main; fn_blocks := nil |}.