From ab518492033eb167fa8ccbf19e464322c4cd4da5 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@csail.mit.edu>
Date: Wed, 15 Mar 2017 12:01:28 -0400
Subject: [PATCH] Fix title in comments

---
 LogicProgramming.v          | 2 +-
 LogicProgramming_template.v | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/LogicProgramming.v b/LogicProgramming.v
index 6ff7154..70a0144 100644
--- a/LogicProgramming.v
+++ b/LogicProgramming.v
@@ -1,5 +1,5 @@
 (** Formal Reasoning About Programs <http://adam.chlipala.net/frap/>
-  * Supplementary Coq material: proof by reflection
+  * Supplementary Coq material: unification and logic programming
   * Author: Adam Chlipala
   * License: https://creativecommons.org/licenses/by-nc-nd/4.0/
   * Much of the material comes from CPDT <http://adam.chlipala.net/cpdt/> by the same author. *)
diff --git a/LogicProgramming_template.v b/LogicProgramming_template.v
index 2f91708..0a8d816 100644
--- a/LogicProgramming_template.v
+++ b/LogicProgramming_template.v
@@ -1,5 +1,5 @@
 (** Formal Reasoning About Programs <http://adam.chlipala.net/frap/>
-  * Supplementary Coq material: proof by reflection
+  * Supplementary Coq material: unification and logic programming
   * Author: Adam Chlipala
   * License: https://creativecommons.org/licenses/by-nc-nd/4.0/
   * Much of the material comes from CPDT <http://adam.chlipala.net/cpdt/> by the same author. *)