Regen Java files as well

mit-plv · Apr 21, 2021 · 8944697 · 8944697
1 parent cfe72d9
commit 8944697
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/fiat-java/src/FiatP224.java b/fiat-java/src/FiatP224.java
diff --git a/fiat-java/src/FiatP256.java b/fiat-java/src/FiatP256.java
diff --git a/fiat-java/src/FiatP384.java b/fiat-java/src/FiatP384.java
diff --git a/fiat-java/src/FiatSecp256K1.java b/fiat-java/src/FiatSecp256K1.java