added missing file headers

Al-Kindi-0 · May 9, 2024 · 0caa34b · 0caa34b
1 parent 61727c5
commit 0caa34b
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/air/src/air/aux.rs b/air/src/air/aux.rs
@@ -1,3 +1,8 @@
+// Copyright (c) Facebook, Inc. and its affiliates.
+//
+// This source code is licensed under the MIT license found in the
+// LICENSE file in the root directory of this source tree.
+
 use alloc::{string::ToString, vec::Vec};
 
 use crypto::{ElementHasher, RandomCoin, RandomCoinError};