Skip to content
Browse files

Fix typo in translator/ml_translatorlib.sml

  • Loading branch information...
HeikoBecker committed May 29, 2019
1 parent f87b41a commit cdbaff76d00446aa615a4afa7af1098d32c70221
Showing with 1 addition and 1 deletion.
  1. +1 −1 translator/ml_translatorLib.sml
@@ -424,7 +424,7 @@ val basic_theories =
["alist", "arithmetic", "bag", "bitstring", "bit", "bool",
"combin", "container", "divides", "fcp", "finite_map", "float",
"fmaptree", "frac", "gcdset", "gcd", "ind_type", "integer_word",
"integer", "integral", "list", "llist", "marker", "machine_iee",
"integer", "integral", "list", "llist", "marker", "machine_ieee",
"measure", "numeral_bit", "numeral", "numpair", "numposrep", "num",
"one", "operator", "option", "pair", "path", "patricia_casts",
"patricia", "poly", "poset", "powser", "pred_set", "prelim",

0 comments on commit cdbaff7

Please sign in to comment.
You can’t perform that action at this time.