Skip to content
Browse files

* Checking of term before submit

  • Loading branch information...
1 parent dcb5877 commit 78b3417357aaf28f3f2a6e040740e1f7bc86e6fd @spockz committed Jan 18, 2012
Showing with 2 additions and 2 deletions.
  1. +2 −2 resources/static/hjs/jcu.hs
View
4 resources/static/hjs/jcu.hs
@@ -97,8 +97,8 @@ initialize = do -- Rendering
return True
checkTermSyntax _ = do inp <- jQuery "#txtAddRule"
input <- valString inp
- case tryParseTerm input of
- Nothing -> do markInvalidTerm inp
+ case tryParseRule input of
+ Nothing -> markInvalidTerm inp
_ -> return ()
return True
resetTree _ = do replaceRuleTree emptyProof

0 comments on commit 78b3417

Please sign in to comment.
Something went wrong with that request. Please try again.