aboutsummaryrefslogtreecommitdiff
path: root/src/batchtools
diff options
context:
space:
mode:
authorGravatar Benjamin Jones <bjones@galois.com>2013-06-11 09:18:16 -0700
committerGravatar Benjamin Jones <bjones@galois.com>2013-06-11 09:18:16 -0700
commit848370ae7ccc79b3ea4f4c017f8b238986d829e1 (patch)
tree516296d177728b86d957386181765c3650962a9f /src/batchtools
parent1aafd8f8a9e5e751c5605fa5845da659c8f3f046 (diff)
fixed typos
Diffstat (limited to 'src/batchtools')
-rw-r--r--src/batchtools/rsTester/src/test/resources/ruleSets/headingGuidelines-caps.js6
1 files changed, 3 insertions, 3 deletions
diff --git a/src/batchtools/rsTester/src/test/resources/ruleSets/headingGuidelines-caps.js b/src/batchtools/rsTester/src/test/resources/ruleSets/headingGuidelines-caps.js
index f6c1cb6..8c41123 100644
--- a/src/batchtools/rsTester/src/test/resources/ruleSets/headingGuidelines-caps.js
+++ b/src/batchtools/rsTester/src/test/resources/ruleSets/headingGuidelines-caps.js
@@ -8,12 +8,12 @@ exports.rule = function() {
function(idx) {
var ch = $(this).text()[0];
if (ch) {
- return (ch == ch.toLowerCase() );
+ return (ch == ch.toLowerCase());
} else {
return false;
}
});
- $(badHeadings).map(function(idx, elt){
- report('Heading does not start with a capitol letter.', elt);
+ $(badHeadings).map(function(idx, elt) {
+ report('Heading does not start with a capital letter.', elt);
});
};