Skip to content

Commit 01a2a7a

Browse files
msridharmernst
authored andcommitted
Add missing implements in GUIEffect Checker docs
1 parent ca01812 commit 01a2a7a

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

docs/manual/guieffect-checker.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -374,7 +374,7 @@ \subsubsection{Effect polymorphism and arguments\label{guieffect-overrides}}
374374
void dispatch(@PolyUI Runnable toRun);
375375
\}
376376
@SafeType
377-
public class SafeDispatcher \{
377+
public class SafeDispatcher implements Dispatcher \{
378378
@Override
379379
public void dispatch(@AlwaysSafe Runnable toRun) \{
380380
runOnBackgroundThread(toRun);

0 commit comments

Comments
 (0)