diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-11-19 16:58:54 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-11-19 16:58:54 +0100 |
| commit | 193a466d1728e0fcdff5a1dd81132505c6ad7e85 (patch) | |
| tree | 7da5e578127b7ad8e51b183b3e6910ca50f4daab /driver | |
| parent | fca587ef6b13cef4c72423ed03709d296b3ed08a (diff) | |
| parent | 6d9f40cbe20494f6859722962da84a8021007372 (diff) | |
| download | compcert-kvx-193a466d1728e0fcdff5a1dd81132505c6ad7e85.tar.gz compcert-kvx-193a466d1728e0fcdff5a1dd81132505c6ad7e85.zip | |
Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepass
Diffstat (limited to 'driver')
| -rw-r--r-- | driver/Compiler.vexpand | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/driver/Compiler.vexpand b/driver/Compiler.vexpand index 80db9097..a751b232 100644 --- a/driver/Compiler.vexpand +++ b/driver/Compiler.vexpand @@ -54,7 +54,7 @@ Require Import Compopts. Parameter print_Clight: Clight.program -> unit. Parameter print_Cminor: Cminor.program -> unit. Parameter print_RTL: Z -> RTL.program -> unit. -Parameter print_LTL: LTL.program -> unit. +Parameter print_LTL: Z -> LTL.program -> unit. Parameter print_Mach: Mach.program -> unit. Local Open Scope string_scope. |