Removed the "summary" from the header of two last files

vprover · Nov 24, 2020 · cb48cf7 · cb48cf7
1 parent c76344a
commit cb48cf7
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 12 deletions.
diff --git a/Lib/Reflection.hpp b/Lib/Reflection.hpp
@@ -9,12 +9,6 @@
  * This source code is distributed under the licence found here
  * https://vprover.github.io/license.html
  * and in the source directory
- *
- * In summary, you are allowed to use Vampire for non-commercial
- * purposes but not allowed to distribute, modify, copy, create derivatives,
- * or use in competitions. 
- * For other uses of Vampire please contact developers for a different
- * licence, which we will make an effort to provide. 
  */
 /**
  * @file Reflection.hpp

diff --git a/Makefile b/Makefile
@@ -6,12 +6,6 @@
 # * This source code is distributed under the licence found here
 # * https://vprover.github.io/license.html
 # * and in the source directory
-# *
-# * In summary, you are allowed to use Vampire for non-commercial
-# * uses but not allowed to distribute, modify, copy, create derivatives,
-# * or use in competitions. 
-# * For other uses of Vampire please contact developers for a different
-# * licence, which we will make an effort to provide. 
 # */