diff options
author | Dimitri Staessens <dimitri.staessens@ugent.be> | 2018-04-20 10:53:01 +0200 |
---|---|---|
committer | Sander Vrijders <sander.vrijders@ugent.be> | 2018-04-20 20:24:10 +0200 |
commit | c0de1f4f511106b4ed107778900835e1872a2b9b (patch) | |
tree | 37abcdbcf0e3dab852727fa90c88316dee0bf788 /CONTRIBUTORS | |
parent | 40e29aec791295652bb0cfc3dda0a47499b71384 (diff) | |
download | ouroboros-c0de1f4f511106b4ed107778900835e1872a2b9b.tar.gz ouroboros-c0de1f4f511106b4ed107778900835e1872a2b9b.zip |
tools: Fix type check when bootstrapping ipcps
The type check failed incorrectly if the type was specified because
the specified type was not set.
Signed-off-by: Dimitri Staessens <dimitri.staessens@ugent.be>
Signed-off-by: Sander Vrijders <sander.vrijders@ugent.be>
Diffstat (limited to 'CONTRIBUTORS')
0 files changed, 0 insertions, 0 deletions