diff options
| author | Mathieu Lirzin <mthl@gnu.org> | 2017-02-24 18:27:29 +0100 |
|---|---|---|
| committer | Mathieu Lirzin <mthl@gnu.org> | 2017-02-24 19:32:20 +0100 |
| commit | 24180197982af110892e41e30fa67559e79140e9 (patch) | |
| tree | d013ef7ae06edbf1ec01055e75225a33c74acf76 /examples | |
| parent | aebad5184ddf75cb6e34331f4fd6325d0221b5a6 (diff) | |
| download | cuirass-24180197982af110892e41e30fa67559e79140e9.tar cuirass-24180197982af110892e41e30fa67559e79140e9.tar.gz | |
evaluate: Use specification #:name in evaluation alists.
This fixes an issue in the database, where rows from the 'Evaluations' table
were having an "#f" value instead of a valid reference to their corresponding
specification.
* bin/evaluate.in (main): Use specification #:name instead of obsolete #:id.
Diffstat (limited to 'examples')
0 files changed, 0 insertions, 0 deletions