Browse Source

Fixed tangling

Samuel W. Flint 6 years ago
parent
commit
4c968f886c
1 changed files with 1 additions and 1 deletions
  1. 1 1
      forward-chain-program.org

+ 1 - 1
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