Revision d128bbd4 - fixed sfunction detetction - LustreC

« Previous | Next »

Revision d128bbd4

ID	d128bbd42fcda7ac20cd48fdfbd77afd39570c4b
Parent	e301f1fb
Child	dcafc99b

Added by Teme Kahsai almost 3 years ago

fixed sfunction detetction

Files

added
modified
copied
renamed
deleted

View differences

src
- backends
  - Horn
    - horn_backend.ml (diff)