Project

General

Profile

« Previous | Next » 

Revision a6974c82

Added by Pierre-Loïc Garoche over 7 years ago

[Horn] Workaround to prevent the use of declared keywords as node name

View differences:

src/backends/Horn/horn_backend_printers.ml
21 21
open Machine_code
22 22

  
23 23
open Horn_backend_common
24

  
25

  
24
  
26 25
(********************************************************************************************)
27 26
(*                    Instruction Printing functions                                        *)
28 27
(********************************************************************************************)

Also available in: Unified diff