From f0ed4df2b0e11ab66966a8395cd7d6d29c7a8efc Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Fri, 3 Jul 2015 23:39:40 +0200
Subject: Latex & Html output options

---
 request.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'request.php')

diff --git a/request.php b/request.php
index 594ae4f..2866ada 100644
--- a/request.php
+++ b/request.php
@@ -43,7 +43,7 @@ $expressions = array_map('escapeshellarg', $expressions);
 $expressions = implode(' ', $expressions);
 $extended = $extended ? '-e' : '';
 
-$call = './LogicParser -b -nt ' . $extended . ' ' . $expressions;
+$call = './LogicParser -b -nt -html ' . $extended . ' ' . $expressions;
 
 $out = [];
 exec($call, $out);
-- 
cgit v1.2.3