diff options
| author | hallgren <hallgren@chalmers.se> | 2012-09-28 12:38:26 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-09-28 12:38:26 +0000 |
| commit | 86d17827ee8f04e4f9e7ac63017ef2ad3105b222 (patch) | |
| tree | 071e020404dda72020b16130c7e8fd69a02df6aa /examples | |
| parent | 8154e480dd2850d7f06e0faa37406287802eb802 (diff) | |
GF shell, show_operations: nicer looking types for linearization functions
Adding a lock field to the result type of linearization functions.
TODO: figure out how to add a lock field to the argument types too.
Diffstat (limited to 'examples')
0 files changed, 0 insertions, 0 deletions