any0019 commited on
Commit
d840455
1 Parent(s): 6a3728f

Update app.py

Browse files
Files changed (1) hide show
  1. app.py +1 -1
app.py CHANGED
@@ -25,7 +25,7 @@ def highlight_diff(sent, sent_main):
25
  new_toks = []
26
  for i, (tok, tok_main) in enumerate(zip(tokens, tokens_main)):
27
  if tok != tok_main:
28
- new_toks.append('\textcolor{red}{***' + tok + '***}')
29
  else:
30
  new_toks.append(tok)
31
 
 
25
  new_toks = []
26
  for i, (tok, tok_main) in enumerate(zip(tokens, tokens_main)):
27
  if tok != tok_main:
28
+ new_toks.append('$\textcolor{red}{***' + tok + '***}$')
29
  else:
30
  new_toks.append(tok)
31