Revision 808da3ff - Ada: Correct state print for variable assignement - LustreC

« Previous | Next »

Revision 808da3ff

Added by Guillaume DAVY over 4 years ago

ID 808da3ffb67a2babe0618b5f6e89740d13ce50f9
Parent b1ac8bbf
Child 83f4b59c

Ada: Correct state print for variable assignement

added
modified
copied
renamed
deleted

src
- backends
  - Ada
    - ada_backend_adb.ml (diff)
    - ada_backend_common.ml (diff)