aboutsummaryrefslogtreecommitdiff
path: root/src/threader_single.h
blob: 2c0bfab15489920b740edb0bf568043580526b93 (plain) 
1
2
3
4
5
6
7
8

#ifndef THREADER_SINGLE_H
#define THREADER_SINGLE_H

#include "solve.h"

extern Threader threader_single;

#endif

Generated with cgit - Back to sebastiano.tronto.net