From 35c99df753563000f78539a15bc9d1efd50d6817 Mon Sep 17 00:00:00 2001 From: Guillaume Bury Date: Sun, 25 Dec 2016 20:52:18 +0100 Subject: [PATCH] Added some missing headers --- src/core/plugin_intf.ml | 5 +++++ src/core/solver_types.ml | 5 +++++ src/core/solver_types.mli | 5 +++++ src/core/solver_types_intf.ml | 5 +++++ src/core/theory_intf.ml | 5 +++++ 5 files changed, 25 insertions(+) diff --git a/src/core/plugin_intf.ml b/src/core/plugin_intf.ml index bfba8585..2c2d703b 100644 --- a/src/core/plugin_intf.ml +++ b/src/core/plugin_intf.ml @@ -11,6 +11,11 @@ (* Apache Software License version 2.0 *) (* *) (**************************************************************************) +(* +MSAT is free software, using the Apache license, see file LICENSE +Copyright 2016 Guillaume Bury +Copyright 2016 Simon Cruanes +*) (** McSat Theory diff --git a/src/core/solver_types.ml b/src/core/solver_types.ml index 7d4fe172..36fb949b 100644 --- a/src/core/solver_types.ml +++ b/src/core/solver_types.ml @@ -10,6 +10,11 @@ (* Apache Software License version 2.0 *) (* *) (**************************************************************************) +(* +MSAT is free software, using the Apache license, see file LICENSE +Copyright 2016 Guillaume Bury +Copyright 2016 Simon Cruanes +*) open Printf diff --git a/src/core/solver_types.mli b/src/core/solver_types.mli index 2670096e..b9e76a7a 100644 --- a/src/core/solver_types.mli +++ b/src/core/solver_types.mli @@ -10,6 +10,11 @@ (* Apache Software License version 2.0 *) (* *) (**************************************************************************) +(* +MSAT is free software, using the Apache license, see file LICENSE +Copyright 2016 Guillaume Bury +Copyright 2016 Simon Cruanes +*) (** Internal types (implementation) diff --git a/src/core/solver_types_intf.ml b/src/core/solver_types_intf.ml index 18ad7fe2..94f23b67 100644 --- a/src/core/solver_types_intf.ml +++ b/src/core/solver_types_intf.ml @@ -10,6 +10,11 @@ (* Apache Software License version 2.0 *) (* *) (**************************************************************************) +(* +MSAT is free software, using the Apache license, see file LICENSE +Copyright 2016 Guillaume Bury +Copyright 2016 Simon Cruanes +*) (** Internal types (interface) diff --git a/src/core/theory_intf.ml b/src/core/theory_intf.ml index f6e9c263..8df11c20 100644 --- a/src/core/theory_intf.ml +++ b/src/core/theory_intf.ml @@ -11,6 +11,11 @@ (* Apache Software License version 2.0 *) (* *) (**************************************************************************) +(* +MSAT is free software, using the Apache license, see file LICENSE +Copyright 2016 Guillaume Bury +Copyright 2016 Simon Cruanes +*) (** SMT Theory