---

yaml
---
r: 12253
b: refs/heads/master
c: ac0381c
h: refs/heads/master
i:
  12251: 769f330
v: v3

Author: brson

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: e78396850d8e27138dd06e723de5ad3de0e65950
+refs/heads/master: ac0381c0bb429cf24ccd5763f6fc79324fa4f189
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: 4a81779abd786ff22d71434c6d9a5917ea4cdfff
 refs/heads/try: 2898dcc5d97da9427ac367542382b6239d9c0bbf

trunk/src/rt/rust_sched_launcher.h

@@ -19,7 +19,6 @@ class rust_sched_launcher : public kernel_owned<rust_sched_launcher> {
     rust_sched_launcher(rust_scheduler *sched, rust_srv *srv, int id);
 
     virtual void start() = 0;
-    virtual void run()  = 0;
     virtual void join() = 0;
     rust_sched_loop *get_loop() { return &sched_loop; }
 };