From 31659c5d73cfecc721b209b06a76c37da9337ab1 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 21 Nov 2016 14:47:42 +0100 Subject: [PATCH] minor typos --- src/core/solver_types_intf.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/core/solver_types_intf.ml b/src/core/solver_types_intf.ml index 954c833f..ba627886 100644 --- a/src/core/solver_types_intf.ml +++ b/src/core/solver_types_intf.ml @@ -140,7 +140,7 @@ module type S = sig val add_atom : formula -> atom (** Returns the atom associated with the given formula *) val make_boolean_var : formula -> var * Formula_intf.negated - (** Returns the variable linked with the given formula, and wether the atom associated with the formula + (** Returns the variable linked with the given formula, and whether the atom associated with the formula is [var.pa] or [var.na] *) val empty_clause : clause