[paparazzi-commits] [paparazzi/paparazzi] af2667: Compilation fixes

[GitHub]

  Branch: refs/heads/gec_module
  Home:   https://github.com/paparazzi/paparazzi
  Commit: af2667a079a41fab5d85f61c430668b3fc5c4b90
      
https://github.com/paparazzi/paparazzi/commit/af2667a079a41fab5d85f61c430668b3fc5c4b90
  Author: Michal Podhradsky <address@hidden>
  Date:   2017-12-26 (Tue, 26 Dec 2017)

  Changed paths:
    M sw/ext/hacl-c
    M sw/ext/key_generator

  Log Message:
  -----------
  Compilation fixes