Project

General

Profile

« Previous | Next » 

Revision 9cb34634

Added by Teme Kahsai over 6 years ago

revereted to previous commit

View differences:

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

Also available in: Unified diff