license header

vprover · Jan 21, 2025 · fbbb84a · fbbb84a
1 parent c2ece31
commit fbbb84a
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 3 deletions.
diff --git a/Inferences/ALASCA/BinInf.cpp b/Inferences/ALASCA/BinInf.cpp
diff --git a/Kernel/QKbo.cpp b/Kernel/QKbo.cpp
@@ -1,3 +1,13 @@
+/*
+ * This file is part of the source code of the software program
+ * Vampire. It is protected by applicable
+ * copyright laws.
+ *
+ * This source code is distributed under the licence found here
+ * https://vprover.github.io/license.html
+ * and in the source directory
+ */
+
 #include "QKbo.hpp"
 #include "Term.hpp"
 #include "NumTraits.hpp"