From 376a6a860ddad211355507d08769c5dfb3d7e2dd Mon Sep 17 00:00:00 2001
From: Scott <wsc@iri-labs.com>
Date: Tue, 20 Nov 2018 15:55:36 +0100
Subject: [PATCH] minor doc improvements

---
 internal/xo/s.go | 2 +-
 sudoku_test.go   | 4 +++-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/internal/xo/s.go b/internal/xo/s.go
index d1c8806..f6262e7 100644
--- a/internal/xo/s.go
+++ b/internal/xo/s.go
@@ -566,7 +566,7 @@ func (s *S) MaxVar() z.Var {
 	return s.Vars.Max
 }
 
-// Why appends a minimized list of assumptions
+// Why appends to ms a minimized list of assumptions
 // which together caused previous call to be unsat.
 //
 // If previous call was not unsat, then Why() returns ms
diff --git a/sudoku_test.go b/sudoku_test.go
index e7909e8..675b57e 100644
--- a/sudoku_test.go
+++ b/sudoku_test.go
@@ -10,7 +10,9 @@ import (
 func Example_sudoku() {
 	g := gini.New()
 	// 9 rows, 9 cols, 9 boxes, 9 numbers
-
+	// one variable for each triple (row, col, n)
+	// indicating whether or not the number n
+	// appears in position (row,col).
 	var lit = func(row, col, num int) z.Lit {
 		n := num
 		n += col * 9