summaryrefslogtreecommitdiff
path: root/js/codeq.js
diff options
context:
space:
mode:
authormarkop <marko.pusnik@gurucue.com>2015-07-17 12:46:14 +0200
committermarkop <marko.pusnik@gurucue.com>2015-07-17 12:46:14 +0200
commit3356ce13478bf5724f9e3e03c2b3cc1cc8598f53 (patch)
tree837ece27004d10d95182e6bb0446c05562e3f68e /js/codeq.js
parentcfb1832029679eeaa644eae719688073a36c650e (diff)
parent8917c1fc6dc395e9f39bba4ea7e1189f9e61c23d (diff)
Merge branch 'master' of odie.guru.si:codeq-web
Diffstat (limited to 'js/codeq.js')
-rw-r--r--js/codeq.js2
1 files changed, 1 insertions, 1 deletions
diff --git a/js/codeq.js b/js/codeq.js
index e867ffd..472cab0 100644
--- a/js/codeq.js
+++ b/js/codeq.js
@@ -726,7 +726,7 @@ window.phandler = null; // TODO: this is for debug only
codeq.system.load({
type: 'text',
- url: 'sister.py',
+ url: 'sins.py',
callback: function (data, status, url) {
if (!data) return;
var info = codeq.parseDefinition(data);