Project

General

Profile

« Previous | Next » 

Revision 4347ae0c

Added by Teme Kahsai over 6 years ago

changes to horn

View differences:

src/backends/Horn/horn_backend.ml
1
te(********************************************************************)
2 1
(*                                                                  *)
3 2
(*  The LustreC compiler toolset   /  The LustreC Development Team  *)
4 3
(*  Copyright 2012 -    --   ONERA - CNRS - INPT                    *)

Also available in: Unified diff