From e25d220d80b9c501bf57384375a390bedf1e7f04 Mon Sep 17 00:00:00 2001
From: Benjamin Jones <bjones@galois.com>
Date: Wed, 24 Oct 2012 22:11:21 -0700
Subject: fix firefox extension

---
 contexts/data/fiveui/firefox/main.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'contexts/data/fiveui/firefox/main.js')

diff --git a/contexts/data/fiveui/firefox/main.js b/contexts/data/fiveui/firefox/main.js
index a96bc2e..dc6258c 100644
--- a/contexts/data/fiveui/firefox/main.js
+++ b/contexts/data/fiveui/firefox/main.js
@@ -185,8 +185,8 @@ fiveui.firefox.main = function() {
     { include: data.url('fiveui/options.html'),
       contentScriptWhen: 'end',
       contentScriptFile: [
-        data.url("ace/ace.js"),
-        data.url("ace/mode-javascript.js"),
+        data.url("lib/ace/ace.js"),
+        data.url("lib/ace/mode-javascript.js"),
         data.url("target/firefox-options.js")
       ],
       contentScript: "fiveui.firefox.options.init()",
-- 
cgit v1.2.3