From 509d94203bd5f1aa55bb777e9eb52bd0480319e0 Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Wed, 15 Sep 2021 13:30:31 +0200
Subject: [PATCH] Some renaming.
---
lib/nnet/nnet.ml | 2 +-
lib/nnet/nnet.mli | 2 +-
src/autodetection.ml | 2 +-
src/language.ml | 3 +--
src/main.ml | 2 +-
src/verification.ml | 2 +-
6 files changed, 6 insertions(+), 7 deletions(-)
diff --git a/lib/nnet/nnet.ml b/lib/nnet/nnet.ml
index 3ef39126..9f139bab 100644
--- a/lib/nnet/nnet.ml
+++ b/lib/nnet/nnet.ml
@@ -1,6 +1,6 @@
(**************************************************************************)
(* *)
-(* This file is part of Caisar. *)
+(* This file is part of CAISAR. *)
(* *)
(**************************************************************************)
diff --git a/lib/nnet/nnet.mli b/lib/nnet/nnet.mli
index 437803c8..e42999fd 100644
--- a/lib/nnet/nnet.mli
+++ b/lib/nnet/nnet.mli
@@ -1,6 +1,6 @@
(**************************************************************************)
(* *)
-(* This file is part of Caisar. *)
+(* This file is part of CAISAR. *)
(* *)
(**************************************************************************)
diff --git a/src/autodetection.ml b/src/autodetection.ml
index f3984ac7..ff79daa9 100644
--- a/src/autodetection.ml
+++ b/src/autodetection.ml
@@ -1,6 +1,6 @@
(**************************************************************************)
(* *)
-(* This file is part of Caisar. *)
+(* This file is part of CAISAR. *)
(* *)
(**************************************************************************)
diff --git a/src/language.ml b/src/language.ml
index 12c379e1..28bf71e8 100644
--- a/src/language.ml
+++ b/src/language.ml
@@ -1,6 +1,6 @@
(**************************************************************************)
(* *)
-(* This file is part of Caisar. *)
+(* This file is part of CAISAR. *)
(* *)
(**************************************************************************)
@@ -30,7 +30,6 @@ let nnet_parser env _ filename _ =
(List.init header.n_inputs ~f)
(Ty.ty_tuple (List.init header.n_outputs ~f))
in
-
let th_uc =
Pmodule.add_pdecl ~vc:false th_uc
(Pdecl.create_pure_decl @@ Decl.create_param_decl ls_nnet_apply)
diff --git a/src/main.ml b/src/main.ml
index af386438..3c1254e2 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -1,6 +1,6 @@
(**************************************************************************)
(* *)
-(* This file is part of Caisar. *)
+(* This file is part of CAISAR. *)
(* *)
(**************************************************************************)
diff --git a/src/verification.ml b/src/verification.ml
index 851dac50..1fa65915 100644
--- a/src/verification.ml
+++ b/src/verification.ml
@@ -1,6 +1,6 @@
(**************************************************************************)
(* *)
-(* This file is part of Caisar. *)
+(* This file is part of CAISAR. *)
(* *)
(**************************************************************************)
--
GitLab