Update libraries/ to the new libtock.

2020-07-10 10:38:41 +02:00
parent e1fd1f2257
commit b30b88156a
3 changed files with 3 additions and 4 deletions
--- a/libraries/crypto/src/rng256.rs
+++ b/libraries/crypto/src/rng256.rs
@@ -12,7 +12,7 @@
 // See the License for the specific language governing permissions and
 // limitations under the License.

-use libtock::rng;
+use libtock_drivers::rng;

 // Lightweight RNG trait to generate uniformly distributed 256 bits.
 pub trait Rng256 {