diff --git a/forward-chain-program.org b/forward-chain-program.org
index 7e98ee6fa9ba6c0b7f59c2ec1719052709e1d5a6..1f4937560bd4a7314f34e31e944deae2f2aef9ba 100644
--- a/forward-chain-program.org
+++ b/forward-chain-program.org
@@ -5,7 +5,7 @@
 #+DATE: <2016-09-28 Wed 21:32>
 #+INFOJS_OPT: view:info toc:nil path:http://flintfam.org/org-info.js
 #+OPTIONS: toc:nil H:5 ':t *:t todo:nil stat:nil d:nil
-#+PROPERTY: header-args :noweb tangle :comments noweb
+#+PROPERTY: header-args :noweb no-export :comments noweb
 #+LATEX_HEADER: \usepackage[margins=0.75in]{geometry}
 #+LATEX_HEADER: \parskip=5pt
 #+LATEX_HEADER: \parindent=0pt