diff options
| author |  Benjamin Jones <bjones@galois.com> | 2012-10-09 11:45:33 -0700 |
|---|---|---|
| committer | Benjamin Jones <bjones@galois.com> | 2012-10-09 11:45:33 -0700 |
| commit | 731ea5ade64b58b77edc95ecf7bb9ce10d01cd0b (patch) | |
| tree | f5dce66869329f5c8a5ef30117b1cfbcf6b97a88 | |
| parent | ce511cd19b0b9a321aa740d75ef4a41ee57b7345 (diff) | |
cleanup related to adding md5 hash in 83cf8b9b63038feee9c2ad6136e692e7c07a23ac
| -rw-r--r-- | contexts/data/fiveui/injected/fiveui-injected-compute.js | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/contexts/data/fiveui/injected/fiveui-injected-compute.js b/contexts/data/fiveui/injected/fiveui-injected-compute.js index 7e0f516..0c931a4 100644 --- a/contexts/data/fiveui/injected/fiveui-injected-compute.js +++ b/contexts/data/fiveui/injected/fiveui-injected-compute.js @@ -84,8 +84,6 @@ core.port.emit('ReportProblem', prob); }; - // XXX this hash isn't very unique, and should really be replaced with - // something a little bit more robust core.hash = function(rule, name, node) { var prob = { name: name, |